tonymorris / fp-projectsLinks
A description of Functional Programming projects
☆21Updated 8 years ago
Alternatives and similar repositories for fp-projects
Users that are interested in fp-projects are comparing it to the libraries listed below
Sorting:
- Working through Type-Driven Development with Idris☆24Updated 8 years ago
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Updated 6 years ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆71Updated 10 years ago
- Write yourself a typed functional language☆65Updated 6 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- A more elegant specification for FRP☆24Updated last year
- A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics☆78Updated 8 years ago
- Explaining category theory by example☆10Updated 8 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 7 years ago
- A simple multithreaded chat server in haskell☆35Updated 6 years ago
- Working through the Thinking with Types book in Haskell☆35Updated 5 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- Trying to get back all the stuff I had in JavaScript.☆69Updated 6 years ago
- Resources for "One Monad to Prove Them All"☆29Updated 6 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Updated 10 months ago
- Recursion schemes for Idris☆64Updated 7 years ago
- State machines in Idris☆37Updated 8 years ago
- Useful resources for the Eta programming language☆62Updated 3 years ago
- Totally functional programming literature☆60Updated 6 years ago
- Semigroups, specialized containers and a general map/reduce framework☆46Updated 6 months ago
- A port of the Elm Architecture Tutorial to PureScript☆56Updated 7 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Haskell types lined up to highlight their similarities☆30Updated 5 years ago
- Slides & demos for talks I do☆58Updated 5 years ago
- A wrapper for Node's HTTP APIs☆40Updated 2 years ago
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40Updated 9 years ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Updated 7 years ago
- Lens combinators for fused-effects.☆17Updated 4 years ago
- ☆40Updated 7 years ago
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆45Updated 8 years ago