laser / cis-194-winter-2016Links
A modified version of Brent Yorgey's CIS 194 Haskell course
☆17Updated 5 years ago
Alternatives and similar repositories for cis-194-winter-2016
Users that are interested in cis-194-winter-2016 are comparing it to the libraries listed below
Sorting:
- A general build tool for haskell projects inspired by leiningen☆16Updated 10 years ago
- ☆51Updated 9 years ago
- Pux time-travelling devtool.☆42Updated 8 years ago
- A port of the Elm Architecture Tutorial to PureScript☆56Updated 7 years ago
- ☆42Updated 9 years ago
- ☆94Updated 8 years ago
- Techniques, advice, and anecdotes about how to teach Functional Programming☆57Updated 8 years ago
- PureScript solutions for Advent of Code☆17Updated 2 years ago
- A toolkit for creating REST services with Node and PureScript☆32Updated 8 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- Making Slackbots is hard! But wait: now it's easy.☆14Updated 10 years ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated last year
- Haskell type introduction illustrated☆17Updated 8 years ago
- Parser combinator library for Elm☆36Updated 8 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 8 years ago
- Purely functional, persistent and efficient vector and hash-map data structures for Haskell☆46Updated 7 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 10 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Updated 7 months ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 10 years ago
- Testing with monadic side-effects☆33Updated 3 years ago
- Gulp plugin providing PureScript compiler tasks☆33Updated 5 years ago
- yet another monad lib for clojure☆94Updated 7 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- A wrapper for Node's HTTP APIs☆40Updated last year
- Compile PureScript into Haskell.☆68Updated 7 years ago
- SDL2 Bindings for the Idris programming language☆10Updated 5 years ago
- ☆38Updated 4 years ago
- A collection of introductory tutorials on Haskell libraries☆42Updated 9 years ago
- A Haskell implementation of the Stripe API.☆34Updated 8 years ago