kgeorgiy / okasakiLinks
Solutions for Okasaki's "Purely functional data structures" book
☆45Updated 11 years ago
Alternatives and similar repositories for okasaki
Users that are interested in okasaki are comparing it to the libraries listed below
Sorting:
- A well-typed symmetric-monoidal category of concurrent processes☆24Updated 6 years ago
- Code from the book "Purely Functional Data Structures" by Chris Okasaki (both original and my own solutions to the exercises, in Haskell)☆35Updated 15 years ago
- ☆28Updated 7 years ago
- HoTT Note-taking action☆25Updated 6 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆34Updated 6 years ago
- The category theory by example book☆59Updated last year
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆41Updated 4 years ago
- Working through the Thinking with Types book in Haskell☆35Updated 5 years ago
- The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde☆24Updated 3 years ago
- ☆33Updated 9 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
- being the teaching materials and exercises for CS410 in the 2018/19 session☆56Updated 6 years ago
- ☆50Updated 9 years ago
- Lightweight package providing commonly useful parser combinators☆54Updated 4 months ago
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.☆100Updated last year
- An experimental HTTP framework for Idris☆14Updated 5 years ago
- My own little "24 Days of Hackage" for 2015☆62Updated 8 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- Coq Lecture Notes (WIP)☆54Updated 4 years ago
- Fast and simple JSON encoding toolkit☆82Updated last year
- Difference lists in Haskell☆65Updated 11 months ago
- Learn the Agda basics in three 2-hour sessions.☆57Updated last year
- Presentations on Liquid Haskell, type theory, and more☆45Updated 7 months ago
- An implementation of the "lightweight" linear type system for System F◦ presented in "Lightweight Linear Types in System F◦" by Mazurak, …☆33Updated 10 years ago
- Haskell 98 contravariant functors☆73Updated 7 months ago
- Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)☆162Updated 4 years ago
- Accepted papers for ICFP 2015☆45Updated 9 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- Proof theory seminar☆35Updated 4 years ago
- Source for personal blog.☆77Updated 2 months ago