JamesTreloar
Follow
Starred repositories
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
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
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 Heroku / Netlify / Vercel alternative.
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
This rust compiler backend(module) emmits valid CIL (.NET IR), enabling you to use Rust in .NET projects.
IP Core Library - Published and maintained by the Chair for VLSI Design, Diagnostics and Architecture, Faculty of Computer Science, Technische Universität Dresden, Germany
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
Automatically generates analog circuits using evolutionary algorithms
QOwnNotes is a plain-text file notepad and todo-list manager with Markdown support and Nextcloud / ownCloud integration.
An extremely fast Python package and project manager, written in Rust.
