laser / cis-194-winter-2016Links
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
Sorting:
- Clojure transducers in a typed setting, in Haskell☆55Updated 10 years ago
- Pux time-travelling devtool.☆42Updated 8 years ago
- A port of the Elm Architecture Tutorial to PureScript☆56Updated 7 years ago
- Example of Isomorphic React Application written in PureScript☆22Updated 7 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
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 8 years ago
- A general build tool for haskell projects inspired by leiningen☆16Updated 9 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated last year
- ☆42Updated 9 years ago
- PureScript solutions for Advent of Code☆17Updated 2 years ago
- Purely functional, persistent and efficient vector and hash-map data structures for Haskell☆46Updated 7 years ago
- Example CRUD web server+client using Servant☆34Updated 2 years ago
- Low-level PureScript wrappers for React Native☆60Updated 8 years ago
- Making Slackbots is hard! But wait: now it's easy.☆14Updated 10 years ago
- Simple Haskell http framework☆87Updated 6 years ago
- Reactive Programming with PureScript and React☆31Updated 9 years ago
- ☆15Updated 8 years ago
- WIP: Generate Elm modules which talk to Haskell Servant APIs☆14Updated 9 years ago
- Techniques, advice, and anecdotes about how to teach Functional Programming☆57Updated 8 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Updated 7 months ago
- just another compiler experiment☆14Updated 8 years ago
- Parser combinator library for Elm☆36Updated 8 years ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- ☆51Updated 9 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 10 years ago
- Projects for LambdaConf 2015 Haskell web workshop☆63Updated 9 years ago
- ☆94Updated 8 years ago
- Tagged Haskell learning resources index☆21Updated 8 years ago