Starred repositories
A visual dependency canvas and command generator for Taskwarrior.
Educated Guess Motor Kicking, the new, revolutionary position control method thats name is cooler than PID
Oombak 🌊 is an interactive SystemVerilog simulator UI that runs on your terminal!
A lightweight and fast parsing library for C#.
Mutation testing resources: how to make better code by introducing bugs
The best C# command line parser that brings standardized *nix getopt style, for .NET. Includes F# support
UVVM (Universal VHDL Verification Methodology) is a free and Open Source Methodology and Library for very efficient VHDL verification of FPGA and ASIC – resulting also in significant quality improv…
AXI4 Full, Lite, and AxiStream verification components. AXI4 Interface Master, Responder, and Memory verification components. AxiStream transmitter and receiver verification components
Generate diagrams from textual description
Interpreter for the perfect programming language
Type in Morse code by repeatedly slamming your laptop shut
Raspberry Pico powered Xilinx Virtual Cable - Xilinx JTAG Cable! This is now quite fast, thanks to tom01h! We also support JTAG + serial terminal over a single cable now. Now with (slow) WiFi suppo…
An open-source, self-hostable PaaS alternative to Vercel, Heroku & Netlify that lets you easily deploy static sites, databases, full-stack applications and 280+ one-click services on your own servers.
Verify is a snapshot testing tool that simplifies the assertion of complex data models and documents.
Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev14.
A Rust compiler backend targeting CIL(.NET IR) and C.
The PoC Library has been forked to github.com/VHDL/PoC. See new address below
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs