A minimalist HDL built entirely from logic gates for education and experimentation. Compiles circuits to C so that they can run anywhere
☆48Jan 31, 2026Updated last month
Alternatives and similar repositories for SHDL
Users that are interested in SHDL are comparing it to the libraries listed below
Sorting:
- A little KV store implementation in OCaml to practice DB systems things☆33Jan 21, 2026Updated last month
- Trace calls in Elixir processes☆40Dec 26, 2025Updated 2 months ago
- A simple interpreted programming language where everything is pass-by-value☆86Jan 29, 2026Updated last month
- Dice Language Support for VS Code☆10Sep 29, 2020Updated 5 years ago
- Differential CPU fuzzing framework from the paper "RISCover: Automatic Discovery of User-exploitable Architectural Security Vulnerabiliti…☆23Updated this week
- Deploy to Vercel with GitHub Actions☆19Feb 27, 2026Updated last week
- From Zero to QED: An informal introduction to formality with Lean 4☆99Updated this week
- Deployed version of Tableaunoir. Do not modify this repository.☆11Updated this week
- Python package for handling CI and other integrations☆10Updated this week
- Photonic Quantum Machine Learning Framework☆19Feb 18, 2026Updated 2 weeks ago
- SMTscope automatically analyses and visualises SMT solver execution traces.☆60Dec 10, 2025Updated 2 months ago
- Composable React.js test wrappers, making it easy to test context-heavy components.☆12Nov 7, 2025Updated 4 months ago
- Pure Rust PNG decoder with good performances in WebAssembly☆10Aug 13, 2019Updated 6 years ago
- An LSP and CLI for RON files that provides autocomplete, diagnostics, go to definition, code actions, and hover support based on Rust typ…☆51Feb 28, 2026Updated last week
- A version of flappy bird written to fit on a QR code☆14Aug 16, 2024Updated last year
- A command-line tool that summarizes the size of a codebase by language, showing lines of code with and without comments and blank lines.☆47Updated this week
- Sharepoint to text: A python-libraries which extracts the plain text from legacy and modern office documents and PDF. An enabling library…☆44Feb 21, 2026Updated last week
- My game submission for the GAMEOFF 2023 game jam.☆12Jan 17, 2024Updated 2 years ago
- This is the repo for the current website for the DevSpace Technical Conference in Huntsville, Alabama. There was a major architechure cha…☆10Oct 30, 2023Updated 2 years ago
- A platform-agnostic internationalization library for Gleam☆23Dec 7, 2025Updated 2 months ago
- A simple, generic, and flexible keyframe animation library for Rust.☆30Dec 30, 2025Updated 2 months ago
- A LaTeX template for Bachelor or Master theses☆12Jun 10, 2022Updated 3 years ago
- 2023 Gamedev.js jam submission and Open-Source challenge winner☆10Dec 11, 2023Updated 2 years ago
- An OSGi bundle fragment that exposes the Nashorn scripting API package☆11Jul 16, 2015Updated 10 years ago
- Cross Runtime system service installer.☆13Nov 21, 2024Updated last year
- Context Logger for Golang☆23Oct 31, 2025Updated 4 months ago
- A tiny, cross-platform clipboard utility.☆39Updated this week
- EWoK dataset generation framework☆10May 14, 2024Updated last year
- An SMT solver frontend for OCaml☆68Updated this week
- (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)☆12Oct 6, 2011Updated 14 years ago
- formally and easily, describe the semantics.☆13Aug 17, 2020Updated 5 years ago
- API prototyping/mocking server & rust unit tests library to mimic external 3rd party API endpoints with Rhai scripting capabilities☆52Jan 12, 2026Updated last month
- Unix native interface to LLMs☆12Oct 16, 2025Updated 4 months ago
- ☆26Updated this week
- A list of TDD exercises☆10Feb 9, 2018Updated 8 years ago
- ☆25Jan 29, 2026Updated last month
- A rusty snake game, using OpenGL for rendering.☆12May 22, 2019Updated 6 years ago
- Hardware files, symbols, and footprints for the KeebDeck Keyboard☆30Nov 11, 2025Updated 3 months ago
- A library for typed manipulation of UNIX-style file paths.☆13Jan 15, 2026Updated last month