Unix-like OS in Rust inspired by xv6-riscv

Sources used to compare the MKF orientation estimation approaches.

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

Mold: A Modern Linker 🦠

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

A wee async RTOS for Cortex-M

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

The Cloud Operational Data Store: use SQL to transform, deliver, and act on fast-changing data.

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

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

Safe interop between Rust and C++

Concurrency permutation testing tool for Rust.

A secure embedded operating system for microcontrollers

Text describing xv6 on RISC-V

Xv6 for RISC-V

Constraint solver based on coverage-guided fuzzing

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

Library to parse and work with the C++ AST

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

SQL powered operating system instrumentation, monitoring, and analytics.

CaDiCaL SAT Solver

An interpreter for Rust's mid-level intermediate representation

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

A fast linearizability checker written in Go 🔎

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

Experimental minisat SAT solver reimplementation in Rust

Mobile Shell

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

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