Stars
Browse starred repositories and topics
Sort: Recently starred
Starred Repositories
-
resurrected LLVM "C Backend", with improvements
-
📦 Containers used for executing Dodona exercises
-
Judge for evaluating control flow charts
-
D2 is a modern diagram scripting language that turns text to diagrams.
-
A verification tool for many memory models
-
Text-based user interface CSS library
-
3D-printable hexagonal mirror array capable of reflecting sunlight into arbitrary patterns
-
A repository of gate-level simulators and tools for the original Game Boy.
-
Application Binary Interface for the Arm® Architecture
-
A refreshed Python toolbox for building complex digital hardware. See https://gitlab.com/nmigen/nmigen