tonymorris / fp-projects
A description of Functional Programming projects
☆21Updated 7 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
- Generalized folds, unfolds, and traversals for fixed point data structures☆59Updated 3 years ago
- State machines in Idris☆37Updated 8 years ago
- A wrapper for Node's HTTP APIs☆40Updated last year
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 6 years ago
- ☆38Updated 7 years ago
- A semantic highlighter for Idris code☆14Updated 7 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Updated 6 months ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Updated 7 years ago
- HoTT Note-taking action☆25Updated 6 years ago
- Advent of Code 2017☆41Updated 6 years ago
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆94Updated last year
- JVM implementation in Haskell☆44Updated 8 months ago
- Notes on Category Theory For Programmers by Bartosz Milewski☆55Updated 6 years ago
- Haskell types lined up to highlight their similarities☆31Updated 5 years ago
- ☆23Updated 7 years ago
- An Idris type provider for communicating type-checkable protocols.☆26Updated 7 years ago
- Slides & demos for talks I do☆58Updated 4 years ago
- ☆23Updated 7 years ago
- Resources for "One Monad to Prove Them All"☆29Updated 6 years ago
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40Updated 8 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- Trying to get back all the stuff I had in JavaScript.☆69Updated 6 years ago
- A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes☆19Updated 7 years ago
- A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics☆79Updated 7 years ago
- The Effect monad, for handling native side effects☆53Updated 2 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆18Updated 6 years ago
- JVM code generation☆32Updated 6 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆26Updated 8 years ago