An experiment in hermetic, reproducible build systems

A type-safe and friendly ECS for Haskell

Lean documentation authoring tool

Scientific computing in Lean 4

Haskell implemented with combinators

An embedded scheme interpreter in Rust

📝 Web-based, reactive Datalog notebooks for data analysis and visualization

The practical relational programing language for data-oriented applications

A pure Haskell implementation of Datalog

A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

GPT-2 Metadata Pretraining Towards Instruction Finetuning for Ukrainian

Dataframes powered by a multithreaded, vectorized query engine, written in Rust

Dependent type checker using normalisation by evaluation

Structured Editing and Navigation in Emacs with Tree-Sitter

A functional programming language based on algebraic effect handlers

An ongoing attempt to re-engineer LuaJIT from scratch

Fast equality saturation in Haskell

x86 C compiler written in untyped lambda calculus

Modern embedded framework, using Rust and async.

🧊 Модальний гомотопічний верифікатор математики

A simple, stateless NixOS deployment tool

An experimental text-based UI framework for Emacs modeled after React - **requires emacs 26.1 or newer**

Hammerspoon config inspired by Spacemacs

🌲 Structural editing in Emacs for any™ language!

A PureScript interpreter in Haskell

A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-class continuations and a Read Eval Print Loop (REPL). The R4RS…