learnmath / lysa
Learn You Some Algebras for Glorious Good!
☆16Updated 10 years ago
Alternatives and similar repositories for lysa:
Users that are interested in lysa are comparing it to the libraries listed below
- API wrapper for Github's API in Haskell with tests☆17Updated 9 years ago
- A general build tool for haskell projects inspired by leiningen☆16Updated 9 years ago
- Generate standalone haddock documentation for a set of packages☆27Updated 4 years ago
- A Haskell implementation of the Stripe API.☆34Updated 8 years ago
- Write your AWS Lambda in PureScript!☆9Updated 9 years ago
- Command Line Interface Utility (Printing, Formatting, Options parsing) for Haskell☆23Updated 5 years ago
- Exhaustiveness and redundancy analysis for Haskell pattern matching☆12Updated 7 years ago
- A reliable at-least-once job queue built on Redis.☆38Updated last month
- 🌋 Idris implementation of patricia tree☆22Updated 4 years ago
- Tool for detecting redundant Cabal package dependencies☆47Updated 6 years ago
- Porting from Darcs for collecting issues and other informations. Based on frag-1.1.2b.tar-0001.gz .☆13Updated 8 years ago
- Generic HTTP types for Haskell (for both client and server code)☆54Updated last year
- Haskell version of quickfind☆24Updated 9 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 6 years ago
- Evaluating Message Pack as an alternative to JSON in Haskell☆20Updated 7 years ago
- ☆23Updated 7 years ago
- Rails-like inflections for Haskell☆36Updated last year
- Parser combinator library for Elm☆36Updated 8 years ago
- Catchy combinators for HUnit☆34Updated last year
- Get terminal window width and height☆10Updated 6 months ago
- Haskell Dockerfile linter, parser, pretty-printer and EDSL, forked from https://github.com/lukasmartinelli/hadolint.☆19Updated 7 years ago
- Haskell Implementation of the JSON-API specification☆35Updated 3 years ago
- A Haskell prelude optimized for safety☆16Updated 8 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- A functional web framework☆34Updated 3 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 8 years ago
- A constant-memory approximation of set membership☆24Updated 3 weeks ago
- ☆63Updated 6 years ago
- Tagged Haskell learning resources index☆21Updated 8 years ago
- ☆39Updated 9 months ago