Alternatives and similar repositories for GameOfLife:

Users that are interested in GameOfLife are comparing it to the libraries listed below

• sellout / dada
  A total recursion scheme library for Dhall
  ☆66Updated last month
• sellout / caterwaul
  Wailing into the primordial ooze of category theory
  ☆55Updated last week
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 2 years ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• coot / free-algebras
  Free Algebras in Haskell
  ☆37Updated 6 months ago
• cohomolo-gy / homotopy-type-theory-notes
  HoTT Note-taking action
  ☆25Updated 6 years ago
• isovector / type-errors
  tools for writing better type errors
  ☆73Updated last year
• ekmett / profunctors
  Haskell 98 Profunctors
  ☆71Updated 9 months ago
• sellout / yaya
  Yet another yet another recursion scheme library in Haskell.
  ☆87Updated this week
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆65Updated last month
• FormationAI / dhall-bhat
  Tasty meal of Dhall
  ☆66Updated last year
• gonzaw / extensible-records
  Extensible records for Idris
  ☆26Updated 3 years ago
• mrkkrp / modern-uri
  Modern library for working with URIs
  ☆69Updated 3 weeks ago
• coot / free-category
  Free categories, free arrows and free categories with monadic actions
  ☆24Updated 3 weeks ago
• sellout / Iaia
  A recursion scheme library for Idris.
  ☆24Updated 4 months ago
• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆55Updated last year
• paf31 / dovetail
  A PureScript interpreter in Haskell
  ☆119Updated 2 years ago
• eraserhd / Idris-json
  Formally verified JSON parser
  ☆14Updated 7 years ago
• iokasimov / apart
  Get all your structure and rip it apart.
  ☆31Updated 6 years ago
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆162Updated 2 months ago
• kowainik / validation-selective
  💂‍♂️ Lightweight pure validation based on Applicative and Selective functors
  ☆67Updated 3 months ago
• ocharles / effect-zoo
  Comparing Haskell effect systems for ergonomics and speed
  ☆65Updated 4 years ago
• gelisam / hyzzy
  A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.
  ☆32Updated 4 years ago
• kowainik / type-errors-pretty
  💄🐞 Combinators for writing pretty type errors easily
  ☆55Updated 3 years ago
• isovector / do-notation
  deprecated in favor of -XQualifiedDo
  ☆41Updated 3 years ago
• Gabriella439 / Haskell-Errors-Library
  Type-safe error handling
  ☆64Updated last year
• qfpl / sv
  Comma (and other) separated values
  ☆77Updated last year
• Tehnix / miso-isomorphic-stack
  An example of an "isomorphic" Miso server set up with stack
  ☆44Updated 4 years ago
• mroman42 / vitrea
  Optics via the profunctor representation theorem
  ☆24Updated 3 months ago