laser / cis-194-winter-2016
A modified version of Brent Yorgey's CIS 194 Haskell course
☆17Updated 4 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
- A general build tool for haskell projects inspired by leiningen☆16Updated 9 years ago
- Pux time-travelling devtool.☆42Updated 7 years ago
- A toolkit for creating REST services with Node and PureScript☆32Updated 8 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 10 years ago
- A wrapper for Node's HTTP APIs☆40Updated last year
- A port of the Elm Architecture Tutorial to PureScript☆56Updated 6 years ago
- Example CRUD web server+client using Servant☆34Updated 2 years ago
- ☆42Updated 9 years ago
- Example of embedding Servant within a Yesod Application☆15Updated 8 years ago
- ☆94Updated 8 years ago
- ☆44Updated 7 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
- Presentations on Liquid Haskell, type theory, and more☆45Updated 5 months ago
- Example of Isomorphic React Application written in PureScript☆22Updated 7 years ago
- API wrapper for Github's API in Haskell with tests☆17Updated 9 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 10 years ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- Gulp plugin providing PureScript compiler tasks☆33Updated 4 years ago
- Minimalistic file explorer, written in Haskell.☆17Updated 6 years ago
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Updated 8 years ago
- Reactive Programming with PureScript and React☆31Updated 9 years ago
- Haskell type introduction illustrated☆17Updated 7 years ago
- Static blog generator in Idris.☆39Updated 10 years ago
- The official supporting materials repository for LambdaConf 2015.☆90Updated 9 years ago
- ☆15Updated 7 years ago
- Techniques, advice, and anecdotes about how to teach Functional Programming☆57Updated 8 years ago
- Major mode for psci (purescript's repl)☆17Updated last year
- Low-level PureScript wrappers for React Native☆60Updated 8 years ago
- A PureScript prelude with more features.☆30Updated 7 years ago