ekmett / rounded
MPFR bindings for Haskell
☆34Updated last year
Alternatives and similar repositories for rounded:
Users that are interested in rounded are comparing it to the libraries listed below
- Haskell98 indexed functors, monads, comonads☆25Updated 3 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 3 months ago
- Fast ByteString Builder☆21Updated 3 weeks ago
- High-performance JSON parser☆26Updated 11 months ago
- Deep evaluation of data structures☆41Updated 6 months ago
- A monad for managed values☆50Updated 2 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆24Updated 5 years ago
- Quasiquoter for LLVM☆31Updated 6 years ago
- Continuously varying values, made easy :)☆40Updated 5 years ago
- Quiver stream processing library☆15Updated 8 years ago
- Dependently typed elimination functions using singletons☆28Updated 2 months ago
- Simplify and render Template Haskell☆18Updated 6 years ago
- Backports of GHC deriving extensions☆13Updated 3 weeks ago
- ☆44Updated 3 weeks ago
- Session Types with Priority in Linear Haskell☆26Updated 9 months ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 6 years ago
- Unpacked containers using backpack☆52Updated 4 years ago
- A package re-exporting the verified subset of containers☆20Updated 6 years ago
- ☆18Updated 4 years ago
- Serializable closures for distributed programming.☆64Updated last year
- Extensible type-safe unions for Haskell☆33Updated last week
- phantom types☆38Updated last month
- haskell memory☆48Updated last year
- A natural transformation package☆16Updated 3 weeks ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 6 years ago
- Maps using values' monoidal structure during merging☆42Updated 3 months ago
- Haskell time library focusing on performance☆57Updated 3 months ago
- Safe, programmable, speculative evaluation for Haskell☆29Updated 6 years ago
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- Safe web routing in haskell☆30Updated last year