jules-hedges / awesome-applied-category-theory
ACT community resources
☆18Updated 4 years ago
Related projects: ⓘ
- A system for computational category theory and applications☆35Updated 8 years ago
- ☆23Updated 2 years ago
- ☆13Updated 3 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- ☆44Updated last year
- Theory and Applications of Lenses and Optics☆50Updated 2 years ago
- Control theory in Haskell: Data structures, algorithms and adapters☆79Updated 5 years ago
- A framework for applied category theory in the Julia language☆18Updated last month
- ☆41Updated 4 months ago
- ☆34Updated 2 months ago
- Learning Algebraic Varieties from Samples☆24Updated 8 months ago
- A toolkit for higher-dimensional diagram rewriting.☆15Updated 2 years ago
- A topological data analysis library for Haskell☆28Updated 3 years ago
- ☆13Updated this week
- program synthesis with neuro-symbolic differentiable interpreters☆10Updated 8 months ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆25Updated last month
- Deposited packages of the homalg project☆12Updated 3 weeks ago
- An interactive theorem prover for string diagrams☆105Updated 7 months ago
- DeepAlgebra☆25Updated 6 years ago
- Metamath verifier in Python☆35Updated 5 months ago
- Haskell bindings to SymEngine☆25Updated last year
- A Monad for simulating quantum processes.☆22Updated 9 years ago
- ☆20Updated 2 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆19Updated 4 years ago
- An Experiment in Haskell Symbolic Algebra☆71Updated 12 years ago
- An encyclopedia of proofs☆56Updated 2 years ago
- Monadic Constraint Programming framework☆26Updated 6 years ago
- RASP-L in Haskell for my fellow rascals☆18Updated 9 months ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆53Updated 10 years ago
- Resources for making sense of topology and its concepts☆17Updated 3 years ago