rafa-rrayes / SHDLView external linksLinks
A minimalist HDL built entirely from logic gates for education and experimentation. Compiles circuits to C so that they can run anywhere
☆47Jan 31, 2026Updated 2 weeks ago
Alternatives and similar repositories for SHDL
Users that are interested in SHDL are comparing it to the libraries listed below
Sorting:
- Trace calls in Elixir processes☆39Dec 26, 2025Updated last month
- A little KV store implementation in OCaml to practice DB systems things☆33Jan 21, 2026Updated 3 weeks ago
- A simple interpreted programming language where everything is pass-by-value☆85Jan 29, 2026Updated 2 weeks ago
- Deploy to Vercel with GitHub Actions☆18Feb 6, 2026Updated last week
- ☆24Jan 12, 2026Updated last month
- From Zero to QED: An informal introduction to formality with Lean 4☆91Updated this week
- SIGPLAN website☆13Jan 28, 2026Updated 2 weeks ago
- Python package for handling CI and other integrations☆10Updated this week
- PAKCS: The Portland Aachen Kiel Curry system☆14Dec 16, 2025Updated last month
- SMTscope automatically analyses and visualises SMT solver execution traces.☆55Dec 10, 2025Updated 2 months ago
- Node.js webservice that turns the ATM Milano news website in a REST API JSON data.☆11Sep 30, 2022Updated 3 years ago
- jporter-dev's simple 36-key keymap for the Corne and Corne LP☆10Sep 27, 2023Updated 2 years ago
- Sources of the EuroProofNet web site.☆13Feb 2, 2026Updated last week
- Deployed version of Tableaunoir. Do not modify this repository.☆11Nov 16, 2025Updated 2 months ago
- A LaTeX template for Bachelor or Master theses☆12Jun 10, 2022Updated 3 years ago
- Serde support for n-dimensional arrays from self-describing formats☆11Dec 28, 2025Updated last month
- EWoK dataset generation framework☆10May 14, 2024Updated last year
- Proposition for modernizing the OCaml API from the official manual☆10Apr 1, 2023Updated 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
- (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)☆12Oct 6, 2011Updated 14 years ago
- Simple command line to get directory information☆13May 27, 2025Updated 8 months ago
- formally and easily, describe the semantics.☆13Aug 17, 2020Updated 5 years ago
- 2023 Gamedev.js jam submission and Open-Source challenge winner☆10Dec 11, 2023Updated 2 years ago
- A list of TDD exercises☆10Feb 9, 2018Updated 8 years ago
- Sharepoint to text: A python-libraries which extracts the plain text from legacy and modern office documents and PDF. An enabling library…☆40Feb 2, 2026Updated last week
- Opinionated Ink Physics☆12Jan 31, 2025Updated last year
- A blazing fast, MT-safe, lockfree and branchless circular byte buffer for SPSC in 50 loc☆12Sep 16, 2025Updated 4 months ago
- Basics of Embedded Audio Programming Tutorials☆14Apr 10, 2021Updated 4 years ago
- ☆11Jul 24, 2024Updated last year
- A platform-agnostic internationalization library for Gleam☆21Dec 7, 2025Updated 2 months ago
- ☆24Jan 29, 2026Updated 2 weeks ago
- A library for typed manipulation of UNIX-style file paths.☆13Jan 15, 2026Updated 3 weeks ago
- A SoundFont MIDI synthesizer written in pure Odinlang☆11Aug 13, 2023Updated 2 years ago
- A practical starter for cross-platform OpenGL applications☆12Aug 3, 2020Updated 5 years ago
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Dec 19, 2023Updated 2 years ago
- Pure Rust PNG decoder with good performances in WebAssembly☆10Aug 13, 2019Updated 6 years ago
- A rusty snake game, using OpenGL for rendering.☆12May 22, 2019Updated 6 years ago
- ☆18Nov 5, 2025Updated 3 months ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆12Dec 2, 2025Updated 2 months ago