BartoszMilewski / GameOfLife
Conway's Game of Life using a comonad
☆22Updated 3 weeks ago
Alternatives and similar repositories for GameOfLife:
Users that are interested in GameOfLife are comparing it to the libraries listed below
- Haskell embedding of PlusCal☆61Updated 2 years ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆57Updated last year
- A Haskell monad transformer library for data validation☆36Updated last year
- An efficient graph library for Haskell☆39Updated 5 months ago
- ☆80Updated 2 weeks ago
- Zippers based on lenses and traversals☆38Updated last year
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- Core modules for a blazing fast markup combinator library☆22Updated 6 months ago
- Library of categories, with categorical constructions on them☆53Updated last year
- Comma (and other) separated values☆76Updated last year
- Evaluate special comments in your program on file save.☆38Updated 4 years ago
- A set of utilities for using indexed types including containers, equality, and comparison.☆59Updated last month
- Recursion schemes for Idris☆64Updated 6 years ago
- Interpret Haskell programs into any cartesian closed category.☆57Updated 2 weeks ago
- Optics via the profunctor representation theorem☆23Updated last month
- ☆29Updated 6 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Get all your structure and rip it apart.☆30Updated 6 years ago
- Quasiquoter for LLVM☆31Updated 6 years ago
- Auto-parallelizing Pure Functional Language☆27Updated 5 years ago
- Strategy game in Haskell (PRs: )☆51Updated 4 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Pre-processor for .hsc files☆39Updated this week
- Haskell 98 comonads☆77Updated last month
- high-powered optics in a small package☆53Updated 3 months ago
- Provides a type-safe way of working with permutations in Idris☆35Updated 3 years ago
- Fine-grained lattice primitives for Haskell☆35Updated 3 weeks ago
- A monad, perhaps.☆33Updated 4 years ago
- A logical authorization system☆50Updated 2 years ago
- The Haskell Foundation Tech Proposal Process☆69Updated 5 months ago