bollu / cellularAutomata
a collection of cellular automata written in Haskell with Diagrams
☆184Updated 5 years ago
Related projects: ⓘ
- A black hole raytracer written in Haskell☆171Updated 2 years ago
- Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…☆139Updated last week
- Efficient Haskell Arrays featuring Parallel computation☆384Updated 3 weeks ago
- Number theory: primes, arithmetic functions, modular computations, special sequences☆146Updated 2 months ago
- Low-dimensional linear algebra primitives for Haskell.☆198Updated 2 months ago
- Automatic Differentiation☆368Updated 3 months ago
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆180Updated 2 months ago
- Development of homotopy type theory in Agda☆412Updated 5 years ago
- Lecture notes on univalent foundations of mathematics with Agda☆218Updated 5 months ago
- Compiling to Categories☆436Updated 6 months ago
- A library for probabilistic programming in Haskell.☆407Updated this week
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆278Updated 7 months ago
- HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implement…☆121Updated this week
- 15-819 (Homotopy Type Theory) Lecture Notes☆45Updated 4 years ago
- Embedded domain-specific language for declarative vector graphics (wrapper package)☆199Updated last year
- Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…☆179Updated 6 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆239Updated 10 years ago
- The Quantum IO Monad, implemented in Haskell☆100Updated 6 months ago
- Linear algebra and numerical computation☆380Updated 2 months ago
- The home of the Glamorous Glambda interpreter☆219Updated 2 months ago
- A new Categories library for Agda☆363Updated this week
- Fast image IO and transformations.☆278Updated last year
- Agda interaction in vim☆130Updated 2 years ago
- Richard A. Eisenberg's PhD Dissertation☆207Updated 6 years ago
- constructive abstract algebra☆101Updated 4 years ago
- Generalized bananas, lenses and barbed wire☆336Updated 3 months ago
- Experimental implementation of Cubical Type Theory☆567Updated 11 months ago
- An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .☆360Updated last month
- A categorical programming language with effects☆266Updated last year
- Diagrams standard library☆137Updated 3 weeks ago