haskell / entropyLinks
Easy entropy source for Haskell users.
☆28Updated last year
Alternatives and similar repositories for entropy
Users that are interested in entropy are comparing it to the libraries listed below
Sorting:
- More strongly typed variant of the ixset Haskell package☆26Updated 6 months ago
- Dependently typed elimination functions using singletons☆28Updated 3 weeks ago
- MPFR bindings for Haskell☆34Updated 2 years ago
- Extensible type-safe unions for Haskell☆34Updated 10 months ago
- Futuristic New Age Golden Test management☆15Updated 3 years ago
- Deep evaluation of data structures☆43Updated 7 months ago
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago
- phantom types☆39Updated last month
- Lens interface for your filesystem☆22Updated 5 years ago
- Experimental implementation of generic record subtyping☆18Updated last year
- GHC patched with the -fcompact-holes flag☆11Updated 7 years ago
- An OS written in Idris (eventually...)☆20Updated 10 years ago
- Haskell types and parsers for software version numbers.☆20Updated last month
- Concurrency for the pipes ecosystem☆44Updated 3 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆49Updated 3 weeks ago
- Get terminal window width and height☆14Updated last year
- Fixed length vector for haskell☆21Updated last week
- This was the moment that Mark totally lost his shit and started rewriting jenkins in shell and ended up with a haskell build bot.☆19Updated 6 years ago
- Type-level assertion operators☆16Updated 7 years ago
- Haskell 2010 stream comonads☆24Updated last year
- A categorical framework for circuit construction☆31Updated 9 years ago
- Haskell time library focusing on performance☆59Updated 2 months ago
- Maps using values' monoidal structure during merging☆42Updated last week
- Quickcheck Properties for common typeclasses☆35Updated last month
- 💧 Liquid Haskell integration for Cabal and Stack☆25Updated 6 years ago
- ☆10Updated 10 years ago
- simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management.☆59Updated 2 years ago
- Haskell bindings to ArrayFire☆60Updated last year
- Agda-style equational reasoning in Haskell☆54Updated 2 weeks ago
- Interval Arithmetic☆27Updated last year