archive567 / towerLinks
Deprecated in favour of https://github.com/tonyday567/numhask
β14Updated 8 years ago
Alternatives and similar repositories for tower
Users that are interested in tower are comparing it to the libraries listed below
Sorting:
- π§ Liquid Haskell integration for Cabal and Stackβ25Updated 6 years ago
 - A package re-exporting the verified subset of containersβ20Updated 7 years ago
 - A hashing-based graph implementation in Haskellβ33Updated 7 years ago
 - Code to go along with the blog post "Are Mutable References in HaskellΒ Fast?"β10Updated 8 years ago
 - Simplify and render Template Haskellβ18Updated 7 years ago
 - Various type-aligned sequence data structures.β21Updated 4 years ago
 - β21Updated 2 years ago
 - Extensible, Type Safe Error Handling in Haskellβ13Updated 4 years ago
 - Type-level assertion operatorsβ16Updated 7 years ago
 - A package exposing a function for generating catamorphisms.β28Updated 7 years ago
 - Dependently typed elimination functions using singletonsβ28Updated 10 months ago
 - Austin's supercompiler workβ21Updated 5 years ago
 - Dependently typed convolutional neural networksβ35Updated 8 years ago
 - A bad XML parserβ22Updated last year
 - Sift through Haskell code for analysis purposesβ18Updated 7 years ago
 - A monadic interface for DAG construction.β24Updated 4 years ago
 - β12Updated 8 years ago
 - types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...β19Updated 8 years ago
 - Kleene algebra, regular expressionsβ33Updated last year
 - A Haskell code formatter using prettyprinter and the GHC APIβ24Updated 7 years ago
 - Benchmarks for numbers: ints, doubles, bignums, rationals, etc.β20Updated 8 years ago
 - Deriving Storable instances using GHC.Genericsβ16Updated 3 years ago
 - A Haskell library supporting flexible, dynamic file-based configuration.β16Updated 6 years ago
 - β24Updated 2 years ago
 - This will, one day, be a Haskell implementation of Cap'n Proto.β11Updated 9 years ago
 - Bring fusion to everyoneβ14Updated 5 years ago
 - Using Backpack to abstract over the main Haskell streaming libraries.β34Updated 8 years ago
 - An experiment in functional interface designβ24Updated 9 years ago
 - Agda-style equational reasoning in Haskellβ54Updated 6 months ago
 - Make presentations for data typesβ25Updated 4 years ago