BartoszMilewski / GameOfLifeLinks
Conway's Game of Life using a comonad
☆24Updated last year
Alternatives and similar repositories for GameOfLife
Users that are interested in GameOfLife are comparing it to the libraries listed below
Sorting:
- Interpret Haskell programs into any cartesian closed category.☆68Updated last month
- build tool and package manager for idris,in idris,with free monads☆32Updated 6 years ago
- Haskell Functional Reactive Programming framework with type-level clocks☆138Updated this week
- A continuation-based backtracking logic programming monad☆93Updated last year
- Neural networks using parametric prelenses and Trimbara modules☆35Updated last year
- 🚧 a work in progress effect system for Haskell 🚧☆138Updated 2 years ago
- TParsec - Total Parser Combinators in Idris☆99Updated 2 years ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆61Updated 2 years ago
- Idris LLVM codegen factored out☆82Updated 8 years ago
- Extensible Effects: An Alternative to Monad Transformers☆175Updated 4 years ago
- Haskell to C compiler via Categorifier☆39Updated 2 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 4 months ago
- Free Algebras in Haskell☆37Updated last year
- A test framework for Idris☆55Updated 6 years ago
- Yet another yet another recursion scheme library in Haskell.☆89Updated last month
- ☆38Updated 6 years ago
- A GraphQL query parser for Haskell☆59Updated 3 years ago
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆83Updated 3 months ago
- A talk☆29Updated 4 years ago
- The Art of the Propagator. See also:☆177Updated last year
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Updated 4 months ago
- Haskell 98 comonads☆78Updated this week
- The Haskell Foundation Tech Proposal Process☆71Updated 3 months ago
- Comonads By Example Conference talk☆89Updated 6 years ago
- A presentation for BayHac 2017 on how I uses lenses at work☆77Updated 3 months ago
- ☆45Updated 2 years ago
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.☆99Updated 2 months ago
- HoTT Note-taking action☆25Updated 6 years ago
- A workshop on learning Agda with minimal prerequisites.☆85Updated 9 years ago