Constraints API

AI Framework for Socials and onchain actions

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

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

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

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

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

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

A Rust proc-macro attribute parser

Rust async runtime based on io-uring.

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

A 32-bit RISC-V emulator in a shader (and C)

Find habits that genuinely increase your productivity

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

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

The Witchcraft Compiler Collection

Rust port of simdjson

Erlang on Xen

Rust library for running TensorRT accelerated deep learning models

An Erlang VM implementation in Rust

This is an implementation of IBM's Quantum Experience in simulation; a 5-qubit quantum computer with a limited set of gates. Please cite me if you end up using this academically.

Minimal distributed configuration management in bash

a toy jvm in awk

Peer-to-peer VPN

A curated list of Rust code and resources.

⌨ Toward a more useful keyboard

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

Master programming by recreating your favorite technologies from scratch.

Toolkit to detect/crash/attack GNU debugging-related tools