The formal proof of the Kepler conjecture

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

A toolchain for web projects, aimed to provide functionalities to maintain them. Biome offers formatter and linter, usable via CLI and LSP.

A Lua code formatter

Vim-fork focused on extensibility and usability

Pympress is a simple yet powerful PDF reader designed for dual-screen presentations

A markdown preprocessor for Svelte.

Rubik's cube trainer / solver for the Roux method.

The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.

The math library of Lean 4

Lean 4 programming language and theorem prover

Terraform enables you to safely and predictably create, change, and improve infrastructure. It is a source-available tool that codifies APIs into declarative configuration files that can be shared …

The Dart SDK, including the VM, JS and Wasm compilers, analysis, core libraries, and more.

Ansi HTML Adapter

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

Open standard for machine learning interoperability

The CompCert formally-verified C compiler

Koka language compiler and interpreter

Create ridiculously fast Lexers

An APL-like programming language

Flexible and efficient persistent homology computation.

MuseScore is an open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!

Flutter-first UI testing framework. Ready for action!

💥💻💥 A data-parallel functional programming language

An incremental parsing system for programming tools

Design of the Dart language

Cross-platform, sophisticated frontend for the libretro API. Licensed GPLv3.

Custom Firmware 6.61 Adrenaline for the PSP Emulator