Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.

Programming Languages Zoo

Verified ARP with partial extensions

FsMath is a lightweight maths library designed for modern F# workflows

A visual object tree inspector for the F# Interactive

A visual object tree inspector for the F# Interactive

F# Extensions and modules around Dictionary<'T>

Extensions for Array<'T> in F#

A cross-platform UI framework for .NET.

Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Submit issues and PRs here.

A compiler that brings F#'s elegance and precision to systems programming through MLIR and various backends

Formalizing the Intel 4004 microprocessor

🎓 Materials for my lectures including programming langauge design, software engineering and human-computer interaction.

📺 Source code with tasks from my "Write your own tiny programming system(s)!" course at Charles University. Follow the link below to watch the course online!

An F# immediate-mode TUI library inspired by Jane Street's Bonsai

Prototype for "dotnet run app.fs"-like functionality

👻💻 Spectre.Console with F# style.

A library for patching, replacing and decorating .NET and Mono methods during runtime

Make your zero-knowledge circuits safe with formal verification! 🍀

System for collecting, deriving and working with facts about source code.

A menagerie of cute implementations of modern typechecking algorithms

Git auf deutsch

Mathematical Components

A collection of formalized statements of conjectures in Lean.

Metaprogramming, verified meta-theory and implementation of Rocq in Rocq

A better REPL for F# with project/solution support and hot reloading.

🐣 A blog engine written and proven in Coq

A multi-llm Emacs shell (ChatGPT, Claude, DeepSeek, Gemini, Kagi, Ollama, Perplexity) + editing integrations

The Agda standard library