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…

Programming language

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.

Kakoune Language Server Protocol Client

1ML prototype interpreter

1ML prototype interpreter

mawww's experiment for a better code editor