Stars
high performance multi-protocol NAS stack with asynchronous VFS backend
Systems language with linear types and capability-based security.
For when people get too hyped up about things
user space utility to interface to kernel dropwatch facility
Embedded specification language & model checker in Haskell
Commodore 64 OS running on Atari 8-bit hardware
Silice is an easy-to-learn, powerful hardware description language, that simplifies designing hardware algorithms with parallelism and pipelines.
A DDR3 memory controller in Verilog for various FPGAs
ECP5 breakout board in a feather physical format
Terminal-based CPU stress and monitoring utility
🥧 Savoury implementation of the QUIC transport protocol and HTTP/3
It's a tool for managing Kubernetes configurations, that supports getting YAMLs from Helm charts and container images.
A WebGL graphic library for building scalable Web3D applications
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
Scavenging a kernel, initramfs, and recovery tooling from a Cyanogenmod installation, and using them to make a horrible Frankenstein's monster.
Docker-based utility for testing network failures and partitions in distributed applications
Intel, AMD, VIA & Freescale Microcode Extraction Tool