bollu / koansLinks
Short pieces of code that are "plays" - mostly haskell, sometimes math / other things
☆13Updated 3 years ago
Alternatives and similar repositories for koans
Users that are interested in koans are comparing it to the libraries listed below
Sorting:
- An aggregation of all online content related to Haskell.☆91Updated 7 years ago
- Write yourself a typed functional language☆65Updated 7 years ago
- A more elegant specification for FRP☆24Updated 2 years ago
- A simple blogging platform with Haskell and Scotty☆38Updated 4 years ago
- PureScript in the browser☆121Updated last year
- ☆33Updated 10 years ago
- Why Types Matter☆45Updated 8 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- A short guide detailing how to bootstrap PureScript.☆25Updated 6 years ago
- Useful resources for the Eta programming language☆64Updated 4 years ago
- Convert Markdown to HTML, with XSS protection☆71Updated 4 years ago
- 📚 - Resources for Machine Learning and Haskell☆21Updated 8 years ago
- A port of the Elm Architecture Tutorial to PureScript☆56Updated 7 years ago
- Working through Type-Driven Development with Idris☆25Updated 9 years ago
- Totally functional programming literature☆60Updated 6 years ago
- A functional reactive programming (FRP) demo created with PureScript events and behaviors.☆34Updated 7 years ago
- An approach to user interfaces based in denotational design.☆27Updated 3 years ago
- A Haskell CMS platform☆101Updated last month
- Write shell scripts with Conduit☆96Updated 5 years ago
- A simple library for defining ADTs☆15Updated 2 years ago
- Dive into GHC☆82Updated 9 years ago
- Hackage search engine☆56Updated 7 years ago
- ☆37Updated 7 years ago
- Call JavaScript from Haskell, and vice versa!☆135Updated last year
- ☆96Updated 5 years ago
- 🐚 Out of the shell solution for scripting in Haskell☆74Updated last month
- Slides & demos for talks I do☆58Updated 4 months ago
- 🧠 Type-safe memory units☆61Updated 5 years ago
- A Purescript library for parsing SlamData's dialect of Markdown.☆38Updated 6 years ago
- A workspace for research teams☆106Updated 6 years ago