Starred repositories
A Python library and CLI tool for decrypting encrypted SPICE model files, enabling engineers to use lawfully obtained models in any simulator.
Spectral simulation of analog photography processes
Tools for viewing, storing, and sharing mixed-signal time series data
A library for SSH key based (agents or static files) authentication tokens
A simple HTTP proxy that fogs over naughty URLs
Rust utility to extract UEFI IFR data into human-readable text
aria2 is a lightweight multi-protocol & multi-source, cross platform download utility operated in command-line. It supports HTTP/HTTPS, FTP, SFTP, BitTorrent and Metalink.
Buffer-backed objects in JavaScript.
anticanonicalize is a tool which runs a command with the current working directory set to an "unreachable" version of the directory.
The first game written and played entirely in Rust's type system. Not only do you play by writing Rust code, but the rules of the game are enforced by the Rust compiler. If you can write the progra…
Cohesix is an open-source high-assurance control-plane operating system built on the formally verified seL4 microkernel, designed to keep the trusted computing base intentionally small while enabli…
Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
An alternative `std`-like implementation built on origin
Program startup and thread support written in Rust
Tailscale tray menu and UI for the KDE Plasma Desktop
Library sandboxing for the Verona research language and usable in other contexts.
Compact closed-loop stepper motor driver designed for NEMA motors