BartoszMilewski / GameOfLifeLinks
Conway's Game of Life using a comonad
☆23Updated 8 months ago
Alternatives and similar repositories for GameOfLife
Users that are interested in GameOfLife are comparing it to the libraries listed below
Sorting:
- Haskell Functional Reactive Programming framework with type-level clocks☆134Updated last week
- A test framework for Idris☆55Updated 6 years ago
- The Art of the Propagator. See also:☆174Updated last year
- A total recursion scheme library for Dhall☆66Updated last month
- Optics via the profunctor representation theorem☆24Updated 9 months ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated last week
- Express parametrable, composable and portable data pipelines☆89Updated 3 years ago
- An HTTP library for idris☆39Updated 6 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆133Updated 2 years ago
- Yet another yet another recursion scheme library in Haskell.☆89Updated last month
- every day i'm truffling☆70Updated 4 years ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆60Updated 2 years ago
- Etlas, the build tool and package manager for the Eta programming language☆63Updated 5 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- TParsec - Total Parser Combinators in Idris☆96Updated 2 years ago
- Refinement types with static checking☆187Updated 9 months ago
- free monads☆180Updated 6 months ago
- Haskell library for simple, concise and fast generic operations.☆82Updated last year
- build tool and package manager for idris,in idris,with free monads☆32Updated 6 years ago
- Compositional Representable Executable Machines☆121Updated 2 months ago
- Haskell 98 comonads☆77Updated 6 months ago
- Composable, streaming, and efficient left folds☆168Updated 8 months ago
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 6 years ago
- The Haskell Foundation Tech Proposal Process☆70Updated last year
- A continuation-based backtracking logic programming monad☆92Updated 10 months ago
- A Functional Graph Library for Haskell☆195Updated last month
- Extensible Effects: An Alternative to Monad Transformers☆173Updated 4 years ago
- A Idris Mode for Atom.io☆102Updated last year
- A presentation for BayHac 2017 on how I uses lenses at work☆77Updated 8 years ago
- Components as records of functions for Haskell☆175Updated 2 months ago