SpinalHDL implementation of the 3dfx Voodoo Graphics GPU

A portable and easy-to-integrate implementation of the Advanced Configuration and Power Interface (ACPI)

Threaded AVL trees library for Ada

The CNCF sandbox for observability visualisation. Already supports Prometheus, Tempo, Loki and Pyroscope - more data sources to come!

DRANET is a Kubernetes Network Driver that uses Dynamic Resource Allocation (DRA) to deliver high-performance networking for demanding applications in Kubernetes.

Pragmatic microkernel-based OS with fully asynchronous I/O

The Z3 Theorem Prover

A Linux version of the Procmon Sysinternals tool

Save 30-50%+ of CI time without any effort or cost. Use Magic Nix Cache, a totally free and zero-configuration binary cache for Nix on GitHub Actions.

🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, and SQLite.

Ada packages for handling SI units of measure

Rust for Windows

The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class …

A demo of best practices for open-source Ada/SPARK development

Unbound data structures in Ada-Spark.

A standalone Luau runtime

A native, user-mode, multi-process, graphical debugger.

Maintainable configuration files

Safe and secure software updates for embedded Linux

Automated CIS Benchmark Compliance Remediation for Ubuntu 24 with Ansible

iperf3: A TCP, UDP, and SCTP network bandwidth measurement tool

aider is AI pair programming in your terminal

InSpec: Auditing and Testing Framework

GNATcoverage: Coverage Analysis Tool

Instant, easy, and predictable development environments

Terraform MAAS provider

Build fast web applications with Rust.