a model of MIR and the Rust type/trait system

(Work-in-Progress for SG2000, Ox64, Star64 and PinePhone) Apache NuttX Apps is a collection of tools, shells, network utilities, libraries, interpreters and can be used with the NuttX RTOS

The core library of differential privacy algorithms powering the OpenDP Project.

🦀 Small exercises to get you used to reading and writing Rust code!

A reverse proxy that exposes services on your tailnet (as their own tailscale participants)

NixOS Hyperconverged Infrastructure on Nomad/NixOS

A static verifier for Rust, based on the Viper verification infrastructure.

kernelci.org common database tools

Bao, a Lightweight Static Partitioning Hypervisor

Build software only once and put it in a global cache

Rust RISC-V Simulator

An ICE-based predicate synthesizer for Horn clauses.

VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.

The Helium Gateway

Version Control with Git

A Coordination repo for all things Rust Cryptography oriented

RISC-V Opcodes

TLS in pure OCaml

Typecheck, template and modularize your Github Action definitions with Dhall

Build an entire Emacs configuration as a Nix package in a pure, reproducible way

A low-overhead dynamic binary instrumentation and modification tool for ARM (both AArch32 and AArch64 support) and RISC-V (RV64GC).

Open-source keyboard firmware for Atmel AVR and Arm USB families

A set of minimal dependency bootstrap binaries

Convert Haskell source code to Coq source code.

redundant array of networks

High performance fuzzing using riscv to x86 binary translations and modern fuzzing techniques

A software supply chain framework powered by Nix.

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory