ahorn

octox

Unix-like OS in Rust inspired by xv6-riscv

test_MKF

Sources used to compare the MKF orientation estimation approaches.

cargo-hack

Cargo subcommand to provide various options useful for testing and continuous integration.

mold

Mold: A Modern Linker 🦠

hubris

A lightweight, memory-protected, message-passing kernel for deeply embedded systems.

lilos

A wee async RTOS for Cortex-M

kissat

flume

A safe and fast multi-producer, multi-consumer channel.

materialize

The data warehouse for operational workloads.

rio

pure rust io_uring library, built on libc, thread & async friendly, misuse resistant

zz

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

cxx

Safe interop between Rust and C++

loom

Concurrency permutation testing tool for Rust.

tock

A secure embedded operating system for microcontrollers

xv6-riscv-book

Text describing xv6 on RISC-V

xv6-riscv

Xv6 for RISC-V

jfs

Constraint solver based on coverage-guided fuzzing

cedille

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

cppast

Library to parse and work with the C++ AST

immer

Postmodern immutable and persistent data structures for C++ — value semantics at scale

osquery

SQL powered operating system instrumentation, monitoring, and analytics.

cadical

CaDiCaL SAT Solver

miri

An interpreter for Rust's mid-level intermediate representation

zola

A fast static site generator in a single binary with everything built-in. https://www.getzola.org

porcupine

A fast linearizability checker written in Go 🔎

dCpp

Automatic differentiation in C++; infinite differentiability of conditionals, loops, recursion and all things C++

minisat-rust

Experimental minisat SAT solver reimplementation in Rust

mosh

Mobile Shell

rpclib

rpclib is a modern C++ msgpack-RPC server and client library

grpc

The C based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)