vmchale / hs-ats
Home of the fast-arithmetic library for number theory in ATS and Haskell.
☆24Updated last month
Related projects: ⓘ
- Refactorio is a tool with which you build and maintain software.☆19Updated 3 months ago
- Order theory☆23Updated last year
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 7 years ago
- ☆23Updated 7 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- More strongly typed variant of the ixset Haskell package☆23Updated last month
- 💧 Liquid Haskell integration for Cabal and Stack☆24Updated 5 years ago
- Agda-style equational reasoning in Haskell☆51Updated 4 months ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Updated 5 years ago
- Dependently typed elimination functions using singletons☆27Updated 3 months ago
- ☆10Updated 8 months ago
- 🔖 Better Haskell documentation.☆17Updated 4 years ago
- Deriving Storable instances using GHC.Generics☆15Updated 2 years ago
- A Zoo of Haskell Newtype Wrappers☆14Updated 3 years ago
- ☆15Updated 2 years ago
- ☆14Updated this week
- Category theory concepts in type classes and instances.☆19Updated 2 weeks ago
- The Elements of Statistical Learning in Haskell☆12Updated 6 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Updated 4 years ago
- Minimal binary serialization library with focus on performance☆17Updated 3 years ago
- An efficient graph library for Haskell☆39Updated last month
- Talk on generic parallel scan☆14Updated 7 years ago
- Sift through Haskell code for analysis purposes☆18Updated 6 years ago
- Quiver stream processing library☆15Updated 7 years ago
- Linear map categories in Agda☆5Updated last year
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- GHC patched with the -fcompact-holes flag☆11Updated 5 years ago
- phantom types☆37Updated 6 months ago
- Web front UI for interactive Haskell projects☆33Updated 4 years ago
- Funny little Haskell impl☆18Updated 3 years ago