christiaanb / contranomyView external linksLinks
☆30Mar 2, 2021Updated 4 years ago
Alternatives and similar repositories for contranomy
Users that are interested in contranomy are comparing it to the libraries listed below
Sorting:
- a battery-included library for dataflow protocols☆24Updated this week
- A RiscV processor implementing the RV32I instruction set written in Clash☆56Apr 11, 2018Updated 7 years ago
- Generate interface between Clash and Verilator☆23Dec 22, 2025Updated last month
- Cloud Haskell Supervision Trees☆11Sep 3, 2024Updated last year
- ☆12Dec 23, 2024Updated last year
- Using cabal-install as SAT solver☆13Aug 29, 2023Updated 2 years ago
- Library code for upcoming RetroClash book☆10Feb 22, 2025Updated 11 months ago
- half-precision floating-point☆17Oct 11, 2025Updated 4 months ago
- Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH☆50Dec 4, 2022Updated 3 years ago
- Create auto-scheduled data-parallel pipelines in hardware with user-friendly Python☆13Mar 29, 2021Updated 4 years ago
- Pypi Fetcher for Nix with simplified interface. (contains hashes for all packages)☆15Nov 7, 2023Updated 2 years ago
- A well-typed Directed Acyclic Graph in Haskell☆13Jan 25, 2015Updated 11 years ago
- Stable diffusion dedicated Hardware with multiple pipelined processor cores☆14Nov 10, 2024Updated last year
- A Clash playground/starter kit, using Nix☆36Feb 8, 2019Updated 7 years ago
- Linear Types, Symmetric Monoidal Categories, and Tensors☆13Oct 14, 2025Updated 4 months ago
- A Zookeeper backend for Cloud Haskell.☆13Sep 9, 2017Updated 8 years ago
- Interactive-diagrams☆39May 18, 2015Updated 10 years ago
- VHDL simulation model for PADAUK PDK microcontrollers☆21May 20, 2020Updated 5 years ago
- ☆16May 11, 2022Updated 3 years ago
- A portable source-level debugger for postscript programs.☆20Aug 28, 2020Updated 5 years ago
- A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.☆60May 26, 2021Updated 4 years ago
- Example uses of linear types☆42Jun 25, 2020Updated 5 years ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Oct 24, 2019Updated 6 years ago
- Where Lions Roam: Haskell & Hardware on VELDT☆22Dec 15, 2025Updated last month
- Haskell to VHDL/Verilog/SystemVerilog compiler☆1,582Updated this week
- Programmable multichannel ADPCM decoder for FPGA☆25Dec 28, 2020Updated 5 years ago
- Program Round-off Error Certifier via Static Analysis☆56Dec 8, 2025Updated 2 months ago
- A Verilog parser for Haskell.☆36Jul 6, 2021Updated 4 years ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20May 10, 2017Updated 8 years ago
- Universal Register Machine implemented at the type-level of Haskell☆23Apr 5, 2016Updated 9 years ago
- A collection of reusable Clash designs/examples☆53Jan 28, 2024Updated 2 years ago
- On going experiments with Clash☆22Oct 17, 2015Updated 10 years ago
- Benchmark of the main linear algebra libraries in Haskell☆26Mar 9, 2020Updated 5 years ago
- A networked FPGA key-value store written in Clash☆30Apr 1, 2024Updated last year
- ☆30Oct 16, 2022Updated 3 years ago
- Ormolu GitHub action☆32Nov 26, 2025Updated 2 months ago
- DAG-based blockchain☆10Apr 20, 2019Updated 6 years ago
- An automated theorem prover for first order logic.☆30Mar 23, 2017Updated 8 years ago
- ☆28Sep 9, 2014Updated 11 years ago