an implementation of stuck macros

A scrollable-tiling Wayland compositor.

the next generation of the holbert proof assistant

A graphical interactive proof assistant designed for education

Frequently asked questions about Entity Component Systems

For the joy of programming

Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.

CN separation logic refinement type system for C

🚀 Native iOS and Android Apps with JavaScript & TypeScript

⚗️ | λC pure functional language with deterministic, GC-free memory via Interaction Nets and automatic parallelism.

Nanopass for OCaml

Limiter, compressor, convolver, equalizer and auto volume and many other plugins for PipeWire applications

Realtime PEG Syntax Highlighting in a web browser

Work is in progress in order to give a more elegant look to this project. Give it a try:

mawww's experiment for a better code editor

λ² is a tool for synthesizing functional programs from input-output examples.

👻 Tiny Concurrent UI library with Fiber.

A radical OCaml build system

A command-line benchmarking tool

Simple transformation language for XML with exact type-checking

A very fast linker for Linux

cram-like test runner

Freedoom is an entirely free software game based on the Doom engine.

Verified SSA-Based Register Assignment

Fast caching software with a focus on low latency and cpu efficiency.

Distributors - Unifying Parsers, Printers & Grammars

Build Systems à la Carte