A modern, TreeSitter-powered, Emacs package for programming in OCaml

An overlay on Neovim for editing OCaml code using LSP

Toy implementation of Martin-Löf Type Theory

papers of Per Martin Löf

A precise specification for "Rust lite / MIR plus"

A Boulder Dash clone in OCaml

Research programming language for concurrent ownership

A term rewriting system for experimental programming language development.

A simple multi-format pretty-printer for Menhir.

Haskell library for hardware description

Succinct data structures for Zig

A verified Implementation of a mini prolog

A mini language for logic programming

A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.

A special-purpose processor for pure, non-strict functional languages

A C testing library in 1 file. No dependencies, no dynamic allocation. ISC licensed.

Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)

A fast in-memory rule engine

A simple, safe HTTP client

A Sans I/O WebRTC implementation in Rust.

A code rewrite tool for structural search and replace that supports ~every language.

Stroll: an experimental build system

A Haskell 2010 type checker

tic-tac-toe in a single call to printf

property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input

Datalog compiler embedded in Rust as a procedural macro

Logic programming in Rust

Structured concurrency in C

Simple .INI file parser in C, good for embedded systems