ahorn

grpc

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

osquery

SQL powered operating system instrumentation, monitoring, and analytics.

mold

Mold: A Modern Linker 🦠

zola

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

mosh

Mobile Shell

xv6-riscv

Xv6 for RISC-V

cxx

Safe interop between Rust and C++

materialize

The data warehouse for operational workloads.

tock

A secure embedded operating system for microcontrollers

miri

An interpreter for Rust's mid-level intermediate representation

hubris

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

immer

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

flume

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

loom

Concurrency permutation testing tool for Rust.

rpclib

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

cppast

Library to parse and work with the C++ AST

zz

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

octox

Unix-like OS in Rust inspired by xv6-riscv

rio

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

porcupine

A fast linearizability checker written in Go 🔎

lilos

A wee async RTOS for Cortex-M

xv6-riscv-book

Text describing xv6 on RISC-V

cargo-hack

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

kissat

cedille

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

cadical

CaDiCaL SAT Solver

jfs

Constraint solver based on coverage-guided fuzzing

dCpp

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

minisat-rust

Experimental minisat SAT solver reimplementation in Rust

test_MKF

Sources used to compare the MKF orientation estimation approaches.