clash-lang / clash-prelude
CLaSH prelude library containing datatypes and functions for circuit design
☆31Updated 6 years ago
Alternatives and similar repositories for clash-prelude:
Users that are interested in clash-prelude are comparing it to the libraries listed below
- haskell memory☆48Updated last year
- Serializable closures for distributed programming.☆64Updated last year
- ☆45Updated 3 years ago
- Type-safe time units in Haskell☆49Updated last week
- Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE☆24Updated 6 years ago
- ☆74Updated 6 months ago
- Hopefully verifiable code generation in GHC☆94Updated 7 years ago
- Monad Transformers and Classes☆77Updated 5 years ago
- A micro-benchmark that compares some Haskell serialization libraries☆44Updated 5 years ago
- Unpacked containers using backpack☆52Updated 4 years ago
- Compile git revision info into Haskell projects☆49Updated last year
- Generic random generators☆81Updated last year
- High-resolution clock functions: monotonic, realtime, cputime.☆59Updated last year
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 6 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 5 months ago
- An extension to Data.Serialize with built-in version control☆59Updated last month
- Proposals for the Haskell Ecosystem☆51Updated 6 years ago
- Haskell 98 Profunctors☆70Updated 7 months ago
- Haskell library for efficiently building up buffers☆26Updated 3 weeks ago
- Speculate laws about Haskell functions☆30Updated 11 months ago
- do-notation for Category and "Arrow without arr"☆63Updated 7 years ago
- Units of measure as a GHC typechecker plugin☆30Updated 2 years ago
- JHC Haskell compiler split into reusable components☆57Updated 6 years ago
- Create command line interfaces with ease☆41Updated 2 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 4 years ago
- Literature review of GHC's Core language, System FC☆66Updated 6 years ago
- Quasiquoter for LLVM☆31Updated 6 years ago
- Generic Programming using True Sums of Products☆161Updated 3 weeks ago
- Haskell 98 contravariant functors☆73Updated 3 months ago
- Generic types and functions for encoding and decoding columns☆43Updated 2 months ago