koengit / satplusLinks
☆13Updated 2 years ago
Alternatives and similar repositories for satplus
Users that are interested in satplus are comparing it to the libraries listed below
Sorting:
- Deep embedding of imperative programs with code generation☆23Updated 3 years ago
- Filling and manupulation with histograms☆17Updated 4 months ago
- Bring fusion to everyone☆13Updated 5 years ago
- ☆21Updated 3 years ago
- Simplified interface to the GHC API☆22Updated 6 years ago
- Codo notation for programming with comonads in Haskell☆25Updated 4 years ago
- Folds for recursive types with GHC Generics☆26Updated 5 years ago
- Performance shootout of various trie implementations☆18Updated 6 years ago
- An experimental intermediate language for GHC☆36Updated 7 years ago
- Deriving Storable instances using GHC.Generics☆16Updated 3 years ago
- Fast unboxed references for ST and IO monad☆15Updated 8 years ago
- Script to download all of Hackage☆15Updated 6 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- Finite domain constraint solver in Haskell☆19Updated 3 years ago
- Proofs of the number of inhabitants of polymorphic functions☆23Updated 7 years ago
- Fine-grained lattice primitives for Haskell☆37Updated 2 weeks ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Profunctor optics for the endofunctor category on Hask☆27Updated 4 years ago
- A library for generic programming that aims to be easy to understand☆26Updated 3 months ago
- Austin's supercompiler work☆21Updated 5 years ago
- Unpinned byte arrays in GHC haskell☆22Updated 6 years ago
- Compositional type checking for Haskell☆37Updated 14 years ago
- A hack to find types in Haskell codebases☆10Updated 9 years ago
- Staged Streams and other stuff☆18Updated 3 years ago
- An interpreted lambda calculus with Algebraic and Recursive Types.☆17Updated 4 years ago
- Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed☆10Updated 8 years ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 8 years ago
- This will, one day, be a Haskell implementation of Cap'n Proto.☆11Updated 9 years ago
- This project is dead. See https://gitlab.com/k0001/moto for its reincarnation.☆17Updated 6 years ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆34Updated 3 years ago