learnmath / lysaLinks
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
Sorting:
- A general build tool for haskell projects inspired by leiningen☆16Updated 10 years ago
- API wrapper for Github's API in Haskell with tests☆17Updated 10 years ago
- ☆63Updated 7 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 9 years ago
- A library for generating RSS 2.0 feeds.☆18Updated 3 months ago
- A Haskell implementation of the Stripe API.☆34Updated 9 years ago
- Haskell to Elm translation using Template Haskell. Contains both a library and executable.☆49Updated 7 years ago
- Flexible, fast and constant-space CSV library for Haskell using conduits☆52Updated 6 months ago
- A fast Haskell client library for the Riak decentralized data store☆50Updated 2 years ago
- Haskell version of quickfind☆24Updated 9 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 7 years ago
- Generate standalone haddock documentation for a set of packages☆28Updated 5 years ago
- Parser combinator library for Elm☆36Updated 9 years ago
- IO for Elm☆29Updated 10 years ago
- ☆23Updated 7 years ago
- SVG loader/serializer for Haskell☆29Updated 2 years ago
- A reliable at-least-once job queue built on Redis.☆38Updated 10 months ago
- Get those pesky braces out of your face☆49Updated 8 years ago
- A secure web framework, built in the Idris language.☆110Updated 11 years ago
- Transactional monadic actions on top of PostgreSQL.☆58Updated 3 years ago
- Testing with monadic side-effects☆33Updated 4 years ago
- ☆94Updated 9 years ago
- Generic HTTP types for Haskell (for both client and server code)☆54Updated 2 years ago
- Hakyll wrapper for the Elm (http://elm-lang.org) compiler☆15Updated 11 years ago
- A functional web framework☆34Updated 3 years ago
- Tagged Haskell learning resources index☆21Updated 9 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- Haskell port of the Hashids library.☆24Updated last year
- The Spire Programming Language☆59Updated 11 years ago
- A Purescript implementation of Elm's `core` library☆30Updated 7 years ago