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
Docker-based utility for testing network failures and partitions in distributed applications
Intel, AMD, VIA & Freescale Microcode Extraction Tool