Stars
The 1SubML programming language - unified module and value language, structural subtyping, global type inference, higher rank polymorphic types, existential types, higher kinded types (no partial a…
the official Rust and C implementations of the BLAKE3 cryptographic hash function
This contains documentation and examples on how to use Buck 2 to build OCaml projects.
Preview GitHub README.md files locally before committing them.
A pure-Python module that implements an LR(1) parser generator, as well as CFSM and GLR parser drivers.