learnmath / lysaLinks
Learn You Some Algebras for Glorious Good!
☆16Updated 11 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
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 7 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 9 years ago
- Flexible session middleware for WAI☆15Updated 5 years ago
- A toolkit for creating REST services with Node and PureScript☆32Updated 8 years ago
- ☆63Updated 7 years ago
- A Purescript implementation of Elm's `core` library☆30Updated 7 years ago
- Porting from Darcs for collecting issues and other informations. Based on frag-1.1.2b.tar-0001.gz .☆13Updated 8 years ago
- Haskell to Elm translation using Template Haskell. Contains both a library and executable.☆49Updated 8 years ago
- Catchy combinators for HUnit☆37Updated 9 months ago
- A functional web framework☆34Updated 3 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 8 years ago
- Tagged Haskell learning resources index☆21Updated 9 years ago
- A fast Haskell client library for the Riak decentralized data store☆50Updated 2 years ago
- A simple Haskell progress bar for the console. Heavily borrows from TJ Holowaychuk's Node.JS project☆64Updated 8 years ago
- A library for generating RSS 2.0 feeds.☆18Updated last week
- Haskell bindings to the libui C library.☆48Updated 8 years ago
- ☆23Updated 8 years ago
- Testing with monadic side-effects☆33Updated 4 years ago
- Flexible, fast and constant-space CSV library for Haskell using conduits☆52Updated 8 months ago
- A Haskell implementation of the Stripe API.☆34Updated 9 years ago
- Type declarations for jQuery☆30Updated 5 years ago
- Hakyll wrapper for the Elm (http://elm-lang.org) compiler☆15Updated 11 years ago
- Port of asciimoo/drawille to haskell.☆26Updated 2 years ago
- A secure web framework, built in the Idris language.☆110Updated 11 years ago
- A Haskell library for generating Ruby consumers of Servant APIs.☆23Updated this week
- Haskell Web scraping and Automation Library☆24Updated 5 years ago
- A reliable at-least-once job queue built on Redis.☆38Updated last year
- Generate standalone haddock documentation for a set of packages☆28Updated 5 years ago