A Rust crate for cooking up terminal user interfaces (TUIs) 👨‍🍳🐀 https://ratatui.rs

a structural diff that understands syntax 🟥🟩

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

Port of OpenAI's Whisper model in C/C++

An extremely fast Python linter and code formatter, written in Rust.

An idiomatic, lean, fast & safe pure Rust implementation of Git

Woodpecker is a simple, yet powerful CI/CD engine with great extensibility.

A new markup-based typesetting system that is powerful and easy to learn.

Resources to install NixOS bare metal on Apple Silicon Macs

Library to ensure the consistency and documentation coverage of an F# assembly's public API

Steamroller: An opinionated Erlang code formatter.

A statically-typed linear functional language with graded modal types for fine-grained program reasoning