Coriolis VLSI EDA Tool (LIP6)

Multi-platform nightly builds of open source digital design and verification tools

VHDL and Verilog/SV IDE: state machine viewer, linter, documentation, snippets... and more!

RIOT - The friendly OS for IoT

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

A RISC-V emulator written in Rust

Verilator open-source SystemVerilog simulator and lint system

a fast, scalable, multi-language and extensible build system

Cross-architecture, no-std memory barriers.

No Nonsense Neovim Client in Rust

Quickly build and run kernels inside a virtualized snapshot of your live system

Experimental free and open-source PlayStation 4 kernel

Gitlab to Fogejo migration script

Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.

Loupe: Syscall Usage Analysis Tool

Freestanding OCaml runtime

A Rust library for the Linux Landlock sandboxing feature

A modern C++17 glTF 2.0 library focused on speed, correctness, and usability

A Go library for the Linux Landlock sandboxing feature

cricket is a virtualization solution for GPUs

Community maintained packages for OpenWrt. Documentation for submitting pull requests is in CONTRIBUTING.md

Generate any location from the real world in Minecraft with a high level of detail.

syzkaller is an unsupervised coverage-guided kernel fuzzer

A fast usermode x86 and x86-64 emulator for Arm64 Linux

The Rust Function Tracer.

Hermit for C

Crate for memory address types

Temporary file library for rust

Recovery environment for Android devices with a close-to-mainline kernel