Stars
AeroSpace is an i3-like tiling window manager for macOS
An audio server, programming language, and IDE for sound synthesis and algorithmic composition.
Hazel, a live functional programming environment with typed holes
FaCiLe a constraint programming library on integer and integer set finite domains written in OCaml
PruningRadixTrie - 1000x faster Radix trie for prefix search & auto-complete
An interactive theorem prover for string diagrams
A pure functional language for type-level programming in Rust
Converts DPDA specification to practical Java fluent API
Programming language for literate programming law specification
Datalog compiler embedded in Rust as a procedural macro
Copy of the CCHR Constraint Handling Rules implementation in C
A ready-to-fork interpreted functional language with type inference
Compile and run Constraint Handling Rules (CHR) in JavaScript
A simple UI for evaluating expressions in the untyped lambda calculus
Combinators for rewriting arbitrary syntax trees that have scoping
egg is a flexible, high-performance e-graph library
Anki add-on to import cloze notes from Roam