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:
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Updated 6 years ago
- Working through Type-Driven Development with Idris☆24Updated 9 years ago
- A more elegant specification for FRP☆24Updated last year
- Semigroups, specialized containers and a general map/reduce framework☆46Updated 6 months ago
- 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
- ☆50Updated 9 years ago
- Write yourself a typed functional language☆65Updated 6 years ago
- Resources for "One Monad to Prove Them All"☆29Updated 6 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 7 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- My (rejected) OBT-2018 submission☆33Updated 4 years ago
- Example CRUD web server+client using Servant☆34Updated 3 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆58Updated 3 years ago
- Measure time complexity empirically.☆48Updated 9 years ago
- A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…☆16Updated 7 years ago
- A functional reactive programming (FRP) demo created with PureScript events and behaviors.☆33Updated 6 years ago
- Trying to get back all the stuff I had in JavaScript.☆69Updated 6 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Updated 11 months ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- ☆37Updated 7 years ago
- Working through the Thinking with Types book in Haskell☆34Updated 5 years ago
- Haskell types lined up to highlight their similarities☆30Updated 5 years ago
- A typed, persistent store for values of arbitrary types☆61Updated 3 weeks ago
- ☆23Updated 8 years ago
- Notes on Category Theory For Programmers by Bartosz Milewski☆56Updated 7 years ago
- 🧊 Інститут формальної математики☆35Updated 2 months ago
- ☆28Updated 7 years ago
- ☆31Updated 2 years ago
- A port of QuickCheck to Idris☆60Updated 7 years ago
- Totally functional programming literature☆60Updated 6 years ago