BartoszMilewski / GameOfLifeLinks
Conway's Game of Life using a comonad
☆24Updated 11 months ago
Alternatives and similar repositories for GameOfLife
Users that are interested in GameOfLife are comparing it to the libraries listed below
Sorting:
- Braiding extensible effects together in a pipeline/workflow of tasks☆61Updated 2 years ago
- build tool and package manager for idris,in idris,with free monads☆32Updated 6 years ago
- A continuation-based backtracking logic programming monad☆93Updated last year
- Haskell Functional Reactive Programming framework with type-level clocks☆138Updated last week
- Extensible Effects: An Alternative to Monad Transformers☆175Updated 4 years ago
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆83Updated 2 months ago
- every day i'm truffling☆70Updated 4 years ago
- This is a fork of https://github.com/tweag/ormolu.☆13Updated 2 years ago
- Optics via the profunctor representation theorem☆24Updated last year
- Library for generating Haskell source files and code fragments.☆99Updated 3 months ago
- high-powered optics in a small package☆53Updated 3 months ago
- Extensible records for Idris☆25Updated 4 years ago
- Imagine a Dependently Typed Python☆11Updated 8 months ago
- Interpret Haskell programs into any cartesian closed category.☆67Updated 2 weeks ago
- oleg modules☆32Updated 12 years ago
- The Haskell Foundation Tech Proposal Process☆71Updated 2 months ago
- A GraphQL query parser for Haskell☆59Updated 3 years ago
- Etlas, the build tool and package manager for the Eta programming language☆63Updated 6 years ago
- ☆10Updated 8 years ago
- Android 2048 game using Yampa FRP library in Eta☆57Updated 7 years ago
- A test framework for Idris☆55Updated 6 years ago
- Yet another Scheme implemented in Haskell☆20Updated 6 years ago
- Haskell 98 comonads☆78Updated 9 months ago
- Compositional Representable Executable Machines☆122Updated last month
- Free Algebras in Haskell☆37Updated last year
- Neural networks using parametric prelenses and Trimbara modules☆35Updated last year
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 3 months ago
- 🚧 a work in progress effect system for Haskell 🚧☆137Updated 2 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- A recursion scheme library for Idris.☆25Updated 2 weeks ago