CLaSH prelude library containing datatypes and functions for circuit design
☆31Sep 6, 2018Updated 8 years ago
Alternatives and similar repositories for clash-prelude
Users that are interested in clash-prelude are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A RiscV processor implementing the RV32I instruction set written in Clash☆58Apr 11, 2018Updated 8 years ago
- Netlist and Verilog Haskell Package☆13Oct 6, 2019Updated 7 years ago
- Haskell data structures and parsers for Ethernet, TCP, UDP, IPv4, IPv6, ICMP, DHCP, and TFTP packages. Extracted from the House project n…☆13Dec 17, 2024Updated last year
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆14Aug 29, 2025Updated last year
- Superscalar RISC-V processor written in Clash.☆35Aug 23, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Projects to get started with Clash☆33Sep 2, 2026Updated last month
- Demostration of FFI from Agda -> Haskell -> C in one project☆12Apr 15, 2013Updated 13 years ago
- a battery-included library for dataflow protocols☆26Updated this week
- Haskell to VHDL/Verilog/SystemVerilog compiler☆1,624Updated this week
- ☆12Jun 19, 2016Updated 10 years ago
- A library of components for RISC-V implementations in Haskell CLaSH☆13Mar 24, 2017Updated 9 years ago
- half-precision floating-point☆18Sep 19, 2026Updated last month
- Some numerical optimization methods implemented in Haskell☆47Jun 24, 2020Updated 6 years ago
- A monad transformer and corresponding type class for computations which consume random values.☆34Jan 20, 2026Updated 9 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Clean up the formatting of 'show' output☆21Aug 14, 2026Updated 2 months ago
- Low-level Haskell FFI bindings to the HDF5 library☆14Nov 16, 2013Updated 12 years ago
- Add a hspec test-suite in one command☆10Aug 22, 2016Updated 10 years ago
- A self-describing binary data format for dependently-typed object graphs.☆13Apr 25, 2014Updated 12 years ago
- Interval Arithmetic☆27Jan 23, 2025Updated last year
- Clash implementation of the Compucolor II home computer☆32Nov 6, 2021Updated 4 years ago
- Haskell bindings to lz4☆21Feb 16, 2026Updated 8 months ago
- A collection of reusable Clash designs/examples☆54Jan 28, 2024Updated 2 years ago
- Haskell library for efficiently building up buffers☆27Jan 6, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆34Dec 3, 2011Updated 14 years ago
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Feb 3, 2018Updated 8 years ago
- Toy example of calling Rust from Haskell☆132Jun 10, 2015Updated 11 years ago
- A Clash playground/starter kit, using Nix☆37Feb 8, 2019Updated 7 years ago
- Derive Template Haskell's Lift class for datatypes.☆13Jan 4, 2026Updated 9 months ago
- Flush system metrics to statsd☆26Jan 8, 2026Updated 9 months ago
- Make presentations for data types☆25Oct 21, 2021Updated 5 years ago
- Nix Skeleton Hasktorch project made for easy cloning and forking☆16Jun 11, 2025Updated last year
- http://www.stephendiehl.com/posts/generics.html☆12Mar 4, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Feb 15, 2019Updated 7 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆51Jan 12, 2023Updated 3 years ago
- Quasiquotation for Swift in Haskell☆10Jun 24, 2014Updated 12 years ago
- AACMM's generic-syntax, but with QTT-style annotations☆22Apr 7, 2024Updated 2 years ago
- A Haskell module for PortMidi audio library.☆14Aug 16, 2026Updated 2 months ago
- Runtime compilation and invocation of C.☆10Mar 25, 2019Updated 7 years ago
- Type classes for mapping, folding, and traversing monomorphic containers☆161Mar 27, 2025Updated last year