Neccolini

vite

Next generation frontend tooling. It's fast!

alacritty

A cross-platform, OpenGL terminal emulator.

surrealdb

A scalable, distributed, collaborative, document-graph database, for the realtime web

difftastic

a structural diff that understands syntax 🟥🟩

axum

Ergonomic and modular web framework built with Tokio, Tower, and Hyper

nixpkgs

Nix Packages collection & NixOS

blog_os

Writing an OS in Rust

nix

Nix, the purely functional package manager

al-folio

A beautiful, simple, clean, and responsive Jekyll theme for academics

nom

Rust parser combinator framework

wasm3

🚀 A fast WebAssembly interpreter and the most universal WASM runtime

edk2

EDK II

snarkOS

A Decentralized Operating System for ZK Applications

agda

Agda is a dependently typed programming language / interactive theorem prover.

mockall

A powerful mock object library for Rust

bootloader

An experimental pure-Rust x86 bootloader

xargo

The sysroot manager that lets you build and customize `std`

opensbi

RISC-V Open Source Supervisor Binary Interface

circuit_training

httpmock

HTTP mocking library for Rust.

NeptuneOS

Neptune OS: A Windows NT personality for the seL4 microkernel

compiler-builtins

Porting `compiler-rt` intrinsics to Rust

gup

gup - Update binaries installed by "go install" with goroutines.

Windows-rust-driver-samples

Rust port of the official Windows Driver Samples on Github. Leverages windows-drivers-rs

advanced-computer-organization

kvsp

A VSP; run your encrypted C code AS IS!

volatile

dfa-regex-engine

simple DFA regex engine written in Go.

shapechangeable-computer

dfa-regex