☆30Mar 2, 2021Updated 5 years ago
Alternatives and similar repositories for contranomy
Users that are interested in contranomy are comparing it to the libraries listed below
Sorting:
- A RiscV processor implementing the RV32I instruction set written in Clash☆56Apr 11, 2018Updated 7 years ago
- Intel 8080 CPU core: software emulator and CLaSH hardware description☆28Dec 4, 2022Updated 3 years ago
- Using cabal-install as SAT solver☆13Aug 29, 2023Updated 2 years ago
- Library code for upcoming RetroClash book☆10Feb 22, 2025Updated last year
- half-precision floating-point☆17Updated this week
- Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH☆50Dec 4, 2022Updated 3 years ago
- Projects to get started with Clash☆32Jan 14, 2026Updated last month
- Create auto-scheduled data-parallel pipelines in hardware with user-friendly Python☆13Mar 29, 2021Updated 4 years ago
- Stable diffusion dedicated Hardware with multiple pipelined processor cores☆14Updated this week
- A well-typed Directed Acyclic Graph in Haskell☆13Jan 25, 2015Updated 11 years ago
- A Clash playground/starter kit, using Nix☆36Feb 8, 2019Updated 7 years ago
- A Zookeeper backend for Cloud Haskell.☆13Sep 9, 2017Updated 8 years ago
- Linear Types, Symmetric Monoidal Categories, and Tensors☆13Oct 14, 2025Updated 4 months ago
- Example uses of linear types☆42Jun 25, 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
- 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 2 months ago
- Haskell to VHDL/Verilog/SystemVerilog compiler☆1,586Updated 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 3 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☆54Jan 28, 2024Updated 2 years ago
- A networked FPGA key-value store written in Clash☆30Apr 1, 2024Updated last year
- ☆23Oct 26, 2015Updated 10 years ago
- On going experiments with Clash☆22Oct 17, 2015Updated 10 years ago
- Ormolu GitHub action☆31Nov 26, 2025Updated 3 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
- Chisel HDL example applications☆30Aug 11, 2022Updated 3 years ago
- Haskell FFI bindings to CUDA☆80Sep 15, 2025Updated 5 months ago
- Some numerical optimization methods implemented in Haskell☆47Jun 24, 2020Updated 5 years ago
- A portable idris2 implementation of TLS☆32Oct 30, 2024Updated last year
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 8 years ago
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆11Dec 13, 2011Updated 14 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆46Jan 12, 2026Updated last month
- A PYNQ overlay demonstrating Pythonic DSP running on Zynq UltraScale+☆40Jun 29, 2022Updated 3 years ago
- ☆33Jan 5, 2016Updated 10 years ago