vmchale / hs-ats
Home of the fast-arithmetic library for number theory in ATS and Haskell.
☆25Updated 8 months ago
Alternatives and similar repositories for hs-ats:
Users that are interested in hs-ats are comparing it to the libraries listed below
- Refactorio is a tool with which you build and maintain software.☆19Updated 10 months ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 7 years ago
- ☆10Updated last year
- phantom types☆38Updated 2 months ago
- Dependently typed elimination functions using singletons☆28Updated 3 months ago
- Connecting vinyl records to the wider ecosystem through Generics☆12Updated 6 years ago
- A message-passing library, intended for simplifying network applications☆43Updated 7 years ago
- Deriving Storable instances using GHC.Generics☆16Updated 3 years ago
- Haskell streaming library optimized for low CPU and GC overhead☆16Updated 6 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Updated 4 years ago
- ☆20Updated 5 years ago
- Declare that a typeclass instance should not exist.☆11Updated 11 months ago
- A Haskell implementation of the code within Walid Taha's ``A Gentle Introduction to Multi-stage Programming''☆10Updated 6 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Updated last year
- Web front UI for interactive Haskell projects☆33Updated 4 years ago
- 🔖 Better Haskell documentation.☆17Updated 4 years ago
- A monad for managed values☆50Updated 2 years ago
- Some examples of recursion schemes, with benchmarks☆10Updated 7 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 2 months ago
- A Zoo of Haskell Newtype Wrappers☆14Updated 4 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Updated 6 years ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 2 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Financial datetimes and holiday recurrence rules☆18Updated 4 years ago
- Reasonable Haskell default import☆27Updated 2 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- Pure Haskell implementation of SplitMix pseudo-random number generator☆25Updated 3 months ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 7 years ago
- Queues with verified and unverified versions☆9Updated 7 years ago