A simple and easy-to-use library to enjoy videogames programming

3D fluid simulation experiments in Rust, using WebGPU-rs (WIP)

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Fullstack app framework for web, desktop, and mobile.

Free and Open Source Reverse Engineering Platform powered by rizin

Lean LSP support for Acme editor

A collaborative environment for formal, interoperable, conceptual modeling

symbolic execution engine for Rust

An interpreter for Rust's mid-level intermediate representation

Seamless bug-finding for Wasm, C, C++, Rust and Zig

The Z3 Theorem Prover

Automata theory in Lean

Haskell implementation of open games

Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.

The Agda Universal Algebra Library (html docs available at the url below)

Lean 4 programming language and theorem prover

Sanitizer for OpenType

A Lean companion to Analysis I

Versatile typeface for code, from code.

A key remapping daemon for linux.

Free (libre) font editor for Windows, Mac OS X and GNU+Linux

Beginner's guide to Tactic Programming in Lean

An Infinitely Large Napkin

An OTF math font matching the EB Garamond.

Cairo is the first Turing-complete language for creating provable programs for general computation.

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

Rust GUI components for building fantastic cross-platform desktop application by using GPUI.

An open-source remote desktop application designed for self-hosting, as an alternative to TeamViewer.

Highly accessible themes for GNU Emacs, conforming with the highest standard for colour contrast between background and foreground values (WCAG AAA).

Colourful and legible themes for GNU Emacs