Alternatives and similar repositories for cellularAutomata:

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

• flannelhead / blackstar
  A black hole raytracer written in Haskell
  ☆171Updated 3 years ago
• anton-k / processing-for-haskell
  Graphics for kids and artists. Processing implemented in Haskell
  ☆71Updated 2 years ago
• lehins / massiv
  Efficient Haskell Arrays featuring Parallel computation
  ☆386Updated 3 months ago
• ekmett / linear
  Low-dimensional linear algebra primitives for Haskell.
  ☆208Updated last month
• haskell-hint / hint
  Runtime Haskell interpreter
  ☆268Updated last month
• msakai / cpl
  An interpreter of Hagino's Categorical Programming Language (CPL).
  ☆121Updated 11 months ago
• goldfirere / thesis
  Richard A. Eisenberg's PhD Dissertation
  ☆206Updated 6 years ago
• ekmett / ad
  Automatic Differentiation
  ☆382Updated last month
• snowleopard / alga
  Algebraic graphs
  ☆737Updated 11 months ago
• noinia / hgeometry
  HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implement…
  ☆123Updated last month
• mstksg / hamilton
  Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…
  ☆150Updated 7 months ago
• benl23x5 / gloss
  Painless 2D vector graphics, animations and simulations.
  ☆409Updated 2 weeks ago
• Twinside / Juicy.Pixels
  Haskell library to load & save pictures
  ☆238Updated 10 months ago
• mstksg / backprop
  Heterogeneous automatic differentiation ("backpropagation") in Haskell
  ☆187Updated 9 months ago
• Bodigrim / arithmoi
  Number theory: primes, arithmetic functions, modular computations, special sequences
  ☆153Updated last week
• brunjlar / neural
  Neural Nets in native Haskell
  ☆124Updated 4 years ago
• martinescardo / HoTT-UF-Agda-Lecture-Notes
  Lecture notes on univalent foundations of mathematics with Agda
  ☆226Updated last year
• compiling-to-categories / concat
  Compiling to Categories
  ☆449Updated last year
• derekelkins / agda-vim
  Agda interaction in vim
  ☆132Updated 3 years ago
• ekmett / quine
  haskell, opengl, toy project
  ☆212Updated 6 years ago
• alexandersgreen / qio-haskell
  The Quantum IO Monad, implemented in Haskell
  ☆102Updated last year
• HoTT / HoTT-Agda
  Development of homotopy type theory in Agda
  ☆424Updated 6 years ago
• ekmett / guanxi
  Relational programming in Haskell. Mostly developed on twitch.
  ☆263Updated 7 months ago
• VictorTaelin / Cedille-Core
  A minimal proof language.
  ☆205Updated 6 years ago
• mikeizbicki / subhask
  Type safe interface for working in subcategories of Hask
  ☆420Updated 5 years ago
• agda / agda-categories
  A new Categories library for Agda
  ☆377Updated 3 weeks ago
• goldfirere / glambda
  The home of the Glamorous Glambda interpreter
  ☆224Updated last month
• haskell / vector
  An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .
  ☆377Updated 2 months ago
• recursion-schemes / recursion-schemes
  Generalized bananas, lenses and barbed wire
  ☆345Updated 4 months ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆292Updated last year