bollu / cellularAutomata
a collection of cellular automata written in Haskell with Diagrams
☆188Updated 5 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…☆150Updated 8 months ago
- A black hole raytracer written in Haskell☆176Updated 3 years ago
- Number theory: primes, arithmetic functions, modular computations, special sequences☆153Updated last month
- Efficient Haskell Arrays featuring Parallel computation☆386Updated 4 months ago
- Runtime Haskell interpreter☆268Updated 2 months ago
- Automatic Differentiation☆384Updated 2 months ago
- Development of homotopy type theory in Agda☆425Updated 6 years ago
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆188Updated 10 months ago
- Low-dimensional linear algebra primitives for Haskell.☆208Updated 2 months ago
- A tiny neural network 🧠☆127Updated 6 years ago
- Painless 2D vector graphics, animations and simulations.☆411Updated last month
- A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechani…☆178Updated 2 years ago
- Algebraic graphs☆738Updated 11 months ago
- Compiling to Categories☆450Updated last year
- Relational programming in Haskell. Mostly developed on twitch.☆263Updated 8 months ago
- The home of the Glamorous Glambda interpreter☆224Updated last month
- HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implement…☆123Updated last week
- Algorithms from AIMA in Haskell☆333Updated 7 years ago
- An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .☆378Updated 3 months ago
- Lecture notes on univalent foundations of mathematics with Agda☆227Updated last year
- Fake dependent types in Haskell using singletons☆290Updated last month
- Embedded domain-specific language for declarative vector graphics (wrapper package)☆210Updated last month
- A web site for converting haskell code into pointfree haskell code☆164Updated 2 years ago
- A library for probabilistic programming in Haskell.☆431Updated last week
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆245Updated 10 years ago
- A central repository of Haskell Game Programming resources, put together by Keera Studios☆162Updated 5 years ago
- Generalized bananas, lenses and barbed wire☆346Updated 5 months ago
- Fast image IO and transformations.☆276Updated last year
- The Quantum IO Monad, implemented in Haskell☆102Updated last year
- Diagrams standard library☆139Updated this week