BartoszMilewski / CategoryTheoryLinks
☆29Updated 5 years ago
Alternatives and similar repositories for CategoryTheory
Users that are interested in CategoryTheory are comparing it to the libraries listed below
Sorting:
- Conway's Game of Life using a comonad☆23Updated 10 months ago
- formalization of the Dependent Object Types (DOT) calculus☆161Updated 9 years ago
- Extensible Effects: An Alternative to Monad Transformers☆174Updated 4 years ago
- A talk on using recursion schemes in FP.☆218Updated last year
- Presentation/code from my talk at London HUG☆57Updated 12 years ago
- A Functional Graph Library for Haskell☆196Updated 3 months ago
- Refinement Types for Scripting Languages☆69Updated 6 years 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
- Networks of composable stream transducers☆338Updated 8 months ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆33Updated 6 years ago
- Android 2048 game using Yampa FRP library in Eta☆57Updated 7 years ago
- Richard A. Eisenberg's PhD Dissertation☆205Updated 7 years ago
- Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically☆209Updated 2 weeks ago
- Working through Type-Driven Development with Idris☆24Updated 9 years ago
- A Super Kawaii Dependently Typed Programming Language☆176Updated 7 years ago
- every day i'm truffling☆70Updated 4 years ago
- Introduction to algebraic effects and handlers☆98Updated 7 years ago
- free monads☆187Updated 8 months ago
- Companion to the Haskell in Production series☆80Updated 6 years ago
- Another opinionated list of resources for learning Haskell, from absolute (programming) beginner level to advanced.☆137Updated 4 years ago
- PureScript in the browser☆120Updated last year
- The Art of the Propagator. See also:☆177Updated last year
- Idris for Visual Studio Code☆107Updated 3 years ago
- Material for the "Category Theory as a Tool for Thought" talk☆40Updated 2 years ago
- Denotational Design: from programs to meanings☆100Updated 9 years ago
- build tool and package manager for idris,in idris,with free monads☆32Updated 6 years ago
- Learn you an Agda (and achieve enlightenment)☆317Updated 7 years ago
- A Idris Mode for Atom.io☆102Updated last year
- Sample code from "Type Driven Development with Idris"☆164Updated 8 years ago
- Useful resources for the Eta programming language☆62Updated 4 years ago