Type-and-example directed program synthesis using example propagation, as described in Program Synthesis Using Example Propagation.

Bologna Optimal Higher-Order Machine, Version 1.1

⅋ — session types for Rust

Nix overlay for Lean 4, and lake2nix

A terminal music player.

an experimental new programming language based on interaction nets

Lean4 Logic Formalization

GPU-based interaction nets evaluator

A (WIP) equality saturation tactic for Lean based on egg.

A massively parallel, optimal functional runtime in Rust

Library implementing type inference/checking functionality based on the Lean theorem prover

tree-sitter meets Kakoune

ReCalendar - create your personalized calendar PDF for ReMarkable tablets

Launch external tools inside colorful fifo buffers and display text with ansi colors in info boxes

Allows to swap the Fn key and left Control key and other tweaks on Macbook Pro and Apple keyboards in GNU/Linux

An improved nm + Objective-C & Swift class-dump

Lean Theorem Prover

Cloud-based data annotation tools for biological images

Nuitka is a Python compiler written in Python. It's fully compatible with Python 2.6, 2.7, 3.4-3.13. You feed it your Python app, it does a lot of clever things, and spits out an executable or exte…

PlayStation 3 emulator and debugger

Implementations of various type systems in OCaml.

Crux Programming Language

Latex over SSH + HTTP

A modern and intuitive terminal-based text editor

Bitmap & tilemap generation from a single example with the help of ideas from quantum mechanics

Simple X Image Viewer

a python-like language with hindley-milner-like type system, which is compiled to c

Compile type annotated Python to fast C extensions