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:
- Various type-aligned sequence data structures.β21Updated 4 years ago
- π§ 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 package exposing a function for generating catamorphisms.β29Updated 7 years ago
- Show programming language printed values in a web UIβ24Updated 6 years ago
- Sift through Haskell code for analysis purposesβ18Updated 7 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.β34Updated 8 years ago
- Deriving Storable instances using GHC.Genericsβ16Updated 3 years ago
- β39Updated 8 years ago
- Integration of the Warp webserver with Let's Encryptβ19Updated 8 years ago
- Simplify and render Template Haskellβ18Updated 7 years ago
- Kleene algebra, regular expressionsβ33Updated 2 years ago
- Experimental implementation of generic record subtypingβ18Updated last year
- β21Updated 3 years ago
- Extensible, Type Safe Error Handling in Haskellβ13Updated 5 years ago
- Fuzzy string search in Haskellβ14Updated last year
- A faster date and time library based on timeβ47Updated last week
- Code to go along with the blog post "Are Mutable References in HaskellΒ Fast?"β10Updated 8 years ago
- Dependently typed convolutional neural networksβ35Updated 8 years ago
- An append only list in a compact regionβ25Updated 7 years ago
- Type-level assertion operatorsβ16Updated 7 years ago
- Benchmarks for numbers: ints, doubles, bignums, rationals, etc.β20Updated 8 years ago
- A hashing-based graph implementation in Haskellβ33Updated 7 years ago
- A bad XML parserβ22Updated last year
- Automatic type class law checking.β24Updated last week
- An experiment in functional interface designβ24Updated 9 years ago
- Formally prove properties of Haskell programs using SBV/SMT.β45Updated 3 weeks ago
- Example web server to show how to use a bounded queue to asynchronously send emailsβ12Updated 8 years ago
- β45Updated 4 years ago
- This will, one day, be a Haskell implementation of Cap'n Proto.β11Updated 9 years ago