A minimalist HDL built entirely from logic gates for education and experimentation. Compiles circuits to C so that they can run anywhere
☆48Mar 6, 2026Updated last month
Alternatives and similar repositories for SHDL
Users that are interested in SHDL are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Python versioned abstract syntax trees and interface to the Python parser☆13Oct 28, 2022Updated 3 years ago
- A small example of a source->source pattern matching to decision tree compiler☆14Jul 29, 2020Updated 5 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10May 31, 2022Updated 3 years ago
- (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)☆12Oct 6, 2011Updated 14 years ago
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆21Feb 22, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Js_of_ocaml bindings for the p5.js library☆11May 14, 2024Updated last year
- Awesome projects using the Amaranth HDL☆20Feb 6, 2025Updated last year
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆16Oct 14, 2025Updated 6 months ago
- PAKCS: The Portland Aachen Kiel Curry system☆15Feb 22, 2026Updated last month
- A little KV store implementation in OCaml to practice DB systems things☆33Jan 21, 2026Updated 2 months ago
- A type-safe, stack-based functional programming language☆16Feb 19, 2025Updated last year
- SIGPLAN website☆13Apr 6, 2026Updated last week
- Dice Language Support for VS Code☆10Sep 29, 2020Updated 5 years ago
- Small 32-bit RISC-V CPU with a half-width datapath inspired by the 68000☆16Dec 21, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Small PPX for fixed size integer literals☆10Nov 12, 2022Updated 3 years ago
- Trace calls in Elixir processes☆40Dec 26, 2025Updated 3 months ago
- Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …☆18Mar 3, 2026Updated last month
- HTML5 Gamepad API bindings for js_of_ocaml☆17Jan 7, 2018Updated 8 years ago
- A simple BDD library for OCaml☆13May 20, 2025Updated 10 months ago
- SMTscope automatically analyses and visualises SMT solver execution traces.☆64Dec 10, 2025Updated 4 months ago
- A random generator of Lua programs☆12Mar 5, 2026Updated last month
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- Larecs🌲 – a performance-oriented archetype-based ECS☆15Feb 23, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Apr 20, 2018Updated 7 years ago
- Building Lua interpreters with lot's of functors☆13Jul 31, 2018Updated 7 years ago
- A programming project on automatic differentiation in OCaml☆11Dec 22, 2022Updated 3 years ago
- Luckfox pico documentation and experiments☆48Nov 6, 2025Updated 5 months 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
- mini lab - firebolt project☆18Sep 7, 2025Updated 7 months ago
- Interacting with cron from OCaml☆14Apr 16, 2022Updated 4 years ago
- ☆19Mar 25, 2026Updated 3 weeks ago
- A Zig Shell☆13Jul 25, 2025Updated 8 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆13Nov 23, 2019Updated 6 years ago
- An exact real arithmetic (aka constructive reals) for OCaml☆13Jun 14, 2024Updated last year
- Compiler for a simplified version of Rust developed in OCaml under Jean Christophe Filliatre Supervision (https://www.lri.fr/~filliatr/in…☆13Aug 8, 2020Updated 5 years ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆18Feb 3, 2023Updated 3 years ago
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆11Apr 3, 2026Updated last week
- Differential CPU fuzzing framework from the paper "RISCover: Automatic Discovery of User-exploitable Architectural Security Vulnerabiliti…☆26Mar 1, 2026Updated last month
- 6502 Wozmon PCB☆14Jan 21, 2025Updated last year