bollu / cellularAutomataLinks
a collection of cellular automata written in Haskell with Diagrams
☆188Updated 6 years ago
Alternatives and similar repositories for cellularAutomata
Users that are interested in cellularAutomata are comparing it to the libraries listed below
Sorting:
- Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…☆154Updated last year
- A black hole raytracer written in Haskell☆179Updated 4 years ago
- Number theory: primes, arithmetic functions, modular computations, special sequences☆156Updated last month
- Low-dimensional linear algebra primitives for Haskell.☆212Updated 3 weeks ago
- HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implement…☆128Updated last week
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆193Updated 8 months ago
- Painless 2D vector graphics, animations and simulations.☆417Updated 9 months ago
- Efficient Haskell Arrays featuring Parallel computation☆408Updated 7 months ago
- Automatic Differentiation☆388Updated 2 weeks ago
- The Quantum IO Monad, implemented in Haskell☆105Updated last year
- Lecture notes on univalent foundations of mathematics with Agda☆232Updated last month
- Generalized bananas, lenses and barbed wire☆352Updated 3 weeks ago
- Collection of Idris tests and demonstration programs☆194Updated 7 years ago
- Richard A. Eisenberg's PhD Dissertation☆206Updated 7 years ago
- Diagrams standard library☆141Updated 2 months ago
- Compiling to Categories☆458Updated last year
- Runtime Haskell interpreter☆272Updated 5 months ago
- Embedded domain-specific language for declarative vector graphics (wrapper package)☆222Updated 9 months ago
- Graphics for kids and artists. Processing implemented in Haskell☆70Updated 3 years ago
- The home of the Glamorous Glambda interpreter☆228Updated 10 months ago
- Fake dependent types in Haskell using singletons☆293Updated 3 weeks ago
- A minimal proof language.☆212Updated 7 years ago
- Linear algebra and numerical computation☆399Updated last year
- Haskell library to load & save pictures☆243Updated 3 weeks ago
- A Functional Graph Library for Haskell☆199Updated last month
- Development of homotopy type theory in Agda☆431Updated 6 years ago
- haskell, opengl, toy project☆212Updated 7 years ago
- An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .☆395Updated 2 weeks ago
- Fast image IO and transformations.☆276Updated 2 years ago
- The strongly hyped Haskell interpreter.☆377Updated 3 months ago