CatTheoryByExample / bookLinks
The category theory by example book
β59Updated 2 years ago
Alternatives and similar repositories for book
Users that are interested in book are comparing it to the libraries listed below
Sorting:
- Strongly-typed System F in Haskellβ118Updated 2 years ago
- π§ a work in progress effect system for Haskell π§β131Updated 2 years ago
- Extensional capabilities and deriving combinatorsβ219Updated last year
- Effects libraries in Haskellβ71Updated 2 years ago
- An implementation of Pie in Haskellβ209Updated 5 years ago
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programmingβ44Updated 5 years ago
- ICFP 2020 papers. Crowd-sourcedβ91Updated 5 years ago
- Software Transactional Memoryβ109Updated 2 months ago
- SPLV20 course notesβ112Updated 2 years ago
- β‘οΈEfficient implementation of Map with types as keysβ101Updated last year
- Hypertypes - generic programming for heterogeneous recursive typesβ125Updated 7 months ago
- Haskell library implementing "Data Types a la Carte"β91Updated last year
- Repository with code snippets that accompany episodes of The Haskell Unfolderβ105Updated last month
- A Haskell blogβ148Updated last month
- Source material for Algebra-Driven Designβ151Updated last year
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005β83Updated 4 years ago
- Embedded specification language & model checker in Haskellβ174Updated 4 months ago
- Visual tool to spot odd runtime behaviour of Haskell programs.β109Updated 3 years ago
- Haskell Functional Reactive Programming framework with type-level clocksβ133Updated this week
- A friendly effect system for Haskellβ234Updated last year
- being the teaching materials and exercises for CS410 in the 2018/19 sessionβ57Updated 6 years ago
- Introduction to algebraic effects and handlersβ96Updated 7 years ago
- TParsec - Total Parser Combinators in Idrisβ95Updated 2 years ago
- Inspection Testing for Haskellβ185Updated 2 months ago
- λλλλ Lennart Augustsson's Ξ»-calculus cooked four waysβ53Updated 8 years ago
- The MonadUnliftIO typeclass for unlifting monads to IOβ148Updated 5 months ago
- Utilities and documentation for exploring idirs2's new elaborator reflection.β83Updated 2 weeks ago
- Automatic white-box testing with Free monads: approach description and showcaseβ83Updated 3 years ago
- Fast and concise extensible effectsβ109Updated 2 years ago
- Prelude written in @Serokellβ186Updated 7 months ago