Experience timeless melodies with a music player that blends classic design with modern technology.

A Multi-Raft implementation in Rust language.

An embedded key-value database in pure Rust

Core POSIX command line utilities in safe Rust

Truly independent web browser

Source code of MLstate/PEPS

The Monogon Monorepo. May contain traces of peanuts and a ✨pure Go Linux userland✨. Work in progress!

The math library of Lean 4

State management library for the web based on simplified reactive functional programming

Minimalist ML framework for Rust

No Nonsense Neovim Client in Rust

COSMIC Text Editor

windows emulator

Decentralized Solidity contract source code verification service

🏅State-of-the-art learned data structure that enables fast lookup, predecessor, range searches and updates in arrays of billions of items using orders of magnitude less space than traditional indexes

Serverless GitHub Actions

Modern and easy to use SQL client for MySQL, Postgres, SQLite, SQL Server, and more. Linux, MacOS, and Windows.

Key management is hard

Free42 : An HP-42S Calculator Simulator

A software attempt to address the "double key press" issue on Apple's butterfly keyboard [not actively maintained]

Source Code of GNU TeXmacs, Developers Guide ==>

A general-purpose probabilistic programming system with programmable inference

Code for the paper "Language Models are Unsupervised Multitask Learners"

The SILE Typesetter — Simon’s Improved Layout Engine

A PDF document generator with high level support for text, drawing and images

An HTTP/2 implementation written in pure OCaml

A library of cryptographic primitives (ciphers, hashes, etc) for OCaml

OCaml graph library

Patoline typesetting system