A type-safe, formally verifiable HDL compiler in Lean 4. Inspired by Clash, built for high-assurance hardware synthesis.
☆48Apr 11, 2026Updated this week
Alternatives and similar repositories for sparkle
Users that are interested in sparkle are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- RTLMeter benchmark suite☆31Mar 31, 2026Updated last week
- ☆28Updated this week
- A formal specification of the Yul IR semantics in the Lean proof assistant.☆14Jun 20, 2025Updated 9 months ago
- Parallel_Computer_Architecture经典书籍☆17May 13, 2022Updated 3 years ago
- Quickly access and tab-complete the tables in your database.☆12Sep 26, 2025Updated 6 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆13Apr 15, 2025Updated 11 months ago
- Ludum Dare 31 entry: 2D multiplayer racing game☆13Jan 16, 2015Updated 11 years ago
- Husk is an implementation of the Scheme programming language for the Haskell Platform.☆11Mar 13, 2019Updated 7 years ago
- RISC-V Zve32x, Zve32f, Zvfh Vector Coprocessor☆17Updated this week
- A parser for ANSI C, in Lean4.☆24Nov 16, 2023Updated 2 years ago
- My custom userChrome.css for use with Firefox Quantum and wpg☆13Aug 31, 2020Updated 5 years ago
- Data frames for Idris 2☆23Jan 10, 2023Updated 3 years ago
- Research material of Erik Palmgren (1963–2019)☆21Apr 7, 2025Updated last year
- A Python package for creating and solving constrained randomization problems.☆18Oct 14, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Personal 2002-2010 C++ game programming code. No longer maintained.☆11Oct 7, 2019Updated 6 years ago
- Verify Cairo contracts in Lean 4☆20May 22, 2025Updated 10 months ago
- 👨💻 Hack the Truck! 🚚☆13Nov 8, 2022Updated 3 years ago
- FPGA 2025 SAT Accel: A modern SAT Solver on FPGA Repository☆14Mar 13, 2025Updated last year
- ☆21Mar 12, 2026Updated last month
- Code for "An Introduction to Tensor Tiling in MLIR" tutorial given at EuroLLVM 2025☆22Jun 5, 2025Updated 10 months ago
- Solar variometer for paraglider and hang glider☆25Feb 1, 2013Updated 13 years ago
- Category theory and algebra☆27Aug 4, 2016Updated 9 years ago
- A ZipCPU based demonstration of the MAX1000 FPGA board☆23May 11, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Bare metal on Digilent Zybo Z7-10 using standard Linux open source utilities☆16Mar 18, 2026Updated 3 weeks ago
- This github repository summarizes relevant papers for shift left techniques in electronic design automation (EDA).☆31Sep 19, 2025Updated 6 months ago
- enchmarking Large Language Models' Resistance to Malicious Code☆15Dec 1, 2024Updated last year
- Differentiable Combinatorial Scheduling at Scale (ICML'24). Mingju Liu, Yingjie Li, Jiaqi Yin, Zhiru Zhang, Cunxi Yu.☆22Oct 31, 2024Updated last year
- TMC2209 4 Acis Grbl_ESP32 Controller☆21Dec 1, 2021Updated 4 years ago
- JXML, a small, fast DOM library for Jai☆13Sep 25, 2025Updated 6 months ago
- open-source Ethenet media access controller for Ariane on Genesys-2☆19Jun 24, 2019Updated 6 years ago
- ☆17Aug 29, 2024Updated last year
- ☆19Mar 16, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ZedBoard Bare Metal examples☆22Dec 3, 2020Updated 5 years ago
- A toy implementation of socket programming for Lean 4.☆27Feb 23, 2023Updated 3 years ago
- Meeting materials☆20Updated this week
- ANSI-C benchmarks generated from Verilog RTL circuits with safety assertions. Used for Formal Property Verification.☆17Dec 1, 2018Updated 7 years ago
- A coverage library for Chisel designs☆11Mar 12, 2020Updated 6 years ago
- Basic Python learning - notebooks☆16Nov 10, 2021Updated 4 years ago
- Vim plugin for Bluespec SystemVerilog (BSV)☆11Nov 8, 2020Updated 5 years ago