Think tmux, then aim... lower

The LaTeX2e kernel

Just One Single History

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

The compiler is available for download. Get it!

The official Meta Llama 3 GitHub site

Build a rustc sysroot with custom flags

Build Swift Macros with WebAssembly

Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

Zstandard - Fast real-time compression algorithm

A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree

Low level access to RISC-V processors

AddressSanitizer, ThreadSanitizer, MemorySanitizer

Application level tracing for Rust.

Simplified executable deployment

base64, in rust

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

a Hassle-Free Python Experience

A Git-compatible VCS that is both simple and powerful

Rust support for seL4 userspace

Modern embedded framework, using Rust and async.

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

Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utilize caching in remote storage environments, including various…

Fast Desktop Switching Device

ZIO — A type-safe, composable library for async and concurrent programming in Scala

Rust implementation of Project Fluent

libgit2 bindings for Rust

A jq clone focussed on correctness, speed, and simplicity

Crowdsourcing better titles and thumbnails on YouTube

Rust symbol demangling