(Codeberg mirror) The statically-typed, compiled embedded scripting language for Rust, used by Rotonda.

Fast RISC-V emulator written in Rust. Boots Linux.

Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing

Konata is an instruction pipeline visualizer for Onikiri2-Kanata/Gem5-O3PipeView formats. You can download the pre-built binaries from https://github.com/shioyadan/Konata/releases

An alternative `std`-like implementation built on origin

Program startup and thread support written in Rust

Library sandboxing for the Verona research language and usable in other contexts.

A Linux framework to enable userspace-defined "Virtual" PCIe card shims to enable in-host PCIe card driver development.

A DDR3 memory controller in Verilog for various FPGAs

The MLton repository

Sail architecture definition language

A dual clock asynchronous FIFO written in verilog, tested with Icarus Verilog

Hardcaml is an OCaml library for designing hardware.

Rust Linux-compatible kernel

A verified, modern, hardened memory allocator. [maintainer=@cmovcc]

Cycle-accurate 6502 emulator as coroutine in Rust

Slab allocator for Rust

A fast and accurate disassembler

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

WebAssembly (Wasm) arch support for the Linux kernel

The Vienna Verification Toolkit

Selected Papers of Dana S. Scott

Repo for CHERIoT-SAFE development FPGA platform

Patina Firmware

Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels

Cross-platform realtime MIDI processing in Rust.

Pragmatic microkernel-based OS with fully asynchronous I/O

hex viewer/editor

Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers