A high-performance observability data pipeline.

Rust / Wasm framework for creating reliable and efficient web applications

Rust DataBase Connectivity (RDBC) :: Common Rust API for database drivers

Linux device manager for Logitech devices

A pure functional language for type-level programming in Rust

IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.

APALACHE: symbolic model checker for TLA+ and Quint

Simple verification of Rust programs via functional purification in Lean 2(!)

A modern Prolog implementation written mostly in Rust.

A cross-platform GUI library for Rust, inspired by Elm

A collection of TLA⁺ specifications of varying complexities.

Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3

Crucible is a library for symbolic simulation of imperative programs

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

Userspace WireGuard® Implementation in Rust

The Pie language, which accompanies The Little Typer by Friedman and Christiansen

Repository for the Rust Language Server (aka RLS)

Language Server Protocol (LSP) support for vim and neovim.

A formal logic framework that runs in the browser

A prototype successor to Idris

Ghosts of Departed Proofs

Rust library to create a Good Game Easily

A minimal & modern LaTeX template for your (bachelor's | master's | doctoral) thesis

Formally prove properties of Haskell programs using SBV/SMT.

A Rust implementation of the Noise Protocol Framework

Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll

😠⚔️😈 A minimalistic 2D turn-based tactical game in Rust

Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

Pathfinding library for rust