Sign in

Repository Index

47,133 repositories indexed

Tags: Programming languages and compilers
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

1–18 of 18 · Most stars

A complete header translation (binding) of the raylib 6.2 to Pascal. Without any funky helper functions for memory alignment issues. Inspired and partially based on the drezgames/raylib-pascal binding, however a little cleaner and more recent, with FPC 3.2.0 and up support.

  • header-translation
  • pascal-binding
  • raylib
  • lazarus

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

  • coq
  • hydra-battles
  • ordinal-notations
  • formal-proofs

OCaml bindings to PCRE (Perl Compatibility Regular Expressions)

  • ocaml
  • pcre
  • pattern-matching
  • string-matching

Scan and parse LL(1) grammars simply and efficiently.

  • go
  • golang
  • pratt-parser
  • lexer-parser

Native V-lang implementation of Rosie-RPL. Rosie is a pattern language (RPL for short). A little bit like regex, but aiming to solve several of the regex issues.

  • rosie
  • vlang
  • vlang-module
  • rpl