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 Foreign Function Interface that lets Haskell and Erlang programs communicate.☆66Updated 11 months ago
- Purely functional, persistent and efficient vector and hash-map data structures for Haskell☆46Updated 7 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 10 years ago
- A general build tool for haskell projects inspired by leiningen☆16Updated 9 years ago
- A port of the Elm Architecture Tutorial to PureScript☆56Updated 6 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
- Evaluating Message Pack as an alternative to JSON in Haskell☆20Updated 7 years ago
- ☆41Updated 9 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 8 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- Example of embedding Servant within a Yesod Application☆15Updated 8 years ago
- just another compiler experiment☆14Updated 8 years ago
- Example CRUD web server+client using Servant☆34Updated 2 years ago
- Example of Isomorphic React Application written in PureScript☆22Updated 7 years ago
- ☆15Updated 9 years ago
- Gulp plugin providing PureScript compiler tasks☆33Updated 4 years ago
- Universal and robust reloading for Haskell web applications☆70Updated 3 years ago
- Reactive Programming with PureScript and React☆31Updated 9 years ago
- ☆13Updated 8 years ago
- Making Slackbots is hard! But wait: now it's easy.☆14Updated 10 years ago
- Parser combinator library for Elm☆36Updated 8 years ago
- the (very humble) beginnings of a kafka client for haskell☆34Updated 6 years ago
- Techniques, advice, and anecdotes about how to teach Functional Programming☆57Updated 8 years ago
- yet another monad lib for clojure☆93Updated 7 years ago
- Pux time-travelling devtool.☆42Updated 7 years ago
- Write your AWS Lambda in PureScript!☆9Updated 9 years ago
- Static blog generator in Idris.☆39Updated 10 years ago
- A native PureScript virtual DOM implementation.☆48Updated 7 years ago