clash-lang / clash-preludeView external linksLinks
CLaSH prelude library containing datatypes and functions for circuit design
☆31Sep 6, 2018Updated 7 years ago
Alternatives and similar repositories for clash-prelude
Users that are interested in clash-prelude 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
- a battery-included library for dataflow protocols☆24Updated this week
- Add a hspec test-suite in one command☆10Aug 22, 2016Updated 9 years ago
- A library of components for RISC-V implementations in Haskell CLaSH☆13Mar 24, 2017Updated 8 years ago
- half-precision floating-point☆17Oct 11, 2025Updated 4 months ago
- Projects to get started with Clash☆32Jan 14, 2026Updated last month
- Derive KnownNat constraints from other KnownNat constraints☆14Jan 17, 2026Updated 3 weeks ago
- Compile time CAS(Computer Algebra System) for Haskell☆18Dec 16, 2025Updated last month
- Some numerical optimization methods implemented in Haskell☆47Jun 24, 2020Updated 5 years ago
- Nix Skeleton Hasktorch project made for easy cloning and forking☆16Jun 11, 2025Updated 8 months ago
- A Haskell prelude optimized for safety☆18Jan 6, 2017Updated 9 years ago
- Erlang BEAM emulator in Haskell☆48Jun 14, 2014Updated 11 years ago
- Clean up the formatting of 'show' output☆21May 10, 2025Updated 9 months ago
- Haskell to VHDL/Verilog/SystemVerilog compiler☆1,582Updated this week
- ☆44Jun 6, 2019Updated 6 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆31Sep 6, 2019Updated 6 years ago
- ☆34Dec 3, 2011Updated 14 years ago
- Flexible persistence for Haskell data types primarily based on event logging and checkpoints☆48Dec 23, 2018Updated 7 years ago
- Some writings about a type system for nix☆19Dec 18, 2017Updated 8 years ago
- Clash implementation of the Compucolor II home computer☆32Nov 6, 2021Updated 4 years ago
- A GHC plugin and library for analysing GHC Core☆54Feb 4, 2025Updated last year
- A monad transformer and corresponding type class for computations which consume random values.☆34Jan 20, 2026Updated 3 weeks ago
- Flush system metrics to statsd☆26Jan 8, 2026Updated last month
- A Setup.hs shim for running doctests☆31Jan 6, 2026Updated last month
- Moved to Haskell.org GitLab.☆61May 20, 2025Updated 8 months ago
- Superscalar RISC-V processor written in Clash.☆35Aug 23, 2022Updated 3 years ago
- Haskell bindings for the FUSE library☆27Jan 22, 2024Updated 2 years ago
- Extensible type-safe unions for Haskell☆34Mar 15, 2025Updated 11 months ago
- Haskell library for efficiently building up buffers☆27Jan 6, 2025Updated last year
- Haskell to C compiler via Categorifier☆39Dec 15, 2023Updated 2 years ago
- Compile Dhall expressions to Cabal files☆102Dec 26, 2022Updated 3 years ago
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆83Jan 10, 2026Updated last month
- GHC version of haskell-src-exts exactPrint☆72Oct 14, 2025Updated 4 months ago
- Easy C++ code analysis with pure Haskell☆35Sep 25, 2024Updated last year
- A Rust library for iterating over random permutations.☆14Jun 15, 2021Updated 4 years ago
- For all your lunch (automation) needs!☆10May 16, 2019Updated 6 years ago
- My .*rc files and some stuff. Lots of garbage, use with caution.☆41Feb 4, 2020Updated 6 years ago
- Automatically exported from code.google.com/p/andrews-deal☆10Sep 16, 2022Updated 3 years ago
- Dhall bindings for Idris☆41Aug 14, 2025Updated 6 months ago