flexible terminal-based text editor (C)

a radical and experimental distribution based on musl libc and busybox

Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

The seL4 microkernel

A curated list of Rust code and resources.

The Ultimate Parallel EVM Engine: Transaction Execution, State Root Calculation, Shred Broadcasting. All in One and at Once!

Trusted side of the TEE

Creusot helps you prove your code is correct in an automated fashion.

Embedded graphics library to create beautiful UIs for any MCU, MPU and display type.

Declarative disk partitioning and formatting using nix [maintainers=@Lassulus @Enzime @iFreilicht @Mic92 @phaer]

Checks all your documentation for spelling and grammar mistakes with hunspell and a nlprule based checker for grammar

The Witchcraft Compiler Collection

Plan 9 from User Space

A copy of the Lua development repository, as seen by the Lua team. Mirrored irregularly. All communication should be through the Lua mailing list https://www.lua.org/lua-l.html

Tvix - A Rust implementation of Nix. Read-only mirror of https://code.tvl.fyi/tree/tvix

Rust port of simdjson

Master programming by recreating your favorite technologies from scratch.

Rust async runtime based on io-uring.

List of single-file C/C++ libraries, with emphasis on clause-less licenses.

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

A Rust proc-macro attribute parser

Compile and execute C "scripts" in one go!

Constraints API

⌨ Toward a more useful keyboard

SOCKS5 server using coroutines (blocking io emulation)

A curated list of awesome Inferno documents, libraries, and software

Bundle Nix derivations to run anywhere! [maintainer=@matthewbauer, @Artturin]

Minimal NixOS running on RK3588/RK3588s based SBC(Orange Pi 5 Plus, Orange Pi 5, Rock 5A, etc)

AI Framework for Socials and onchain actions

🌱 a tiny distro-independent package manager