jules-hedges / awesome-applied-category-theoryLinks
ACT community resources
☆22Updated 6 years ago
Alternatives and similar repositories for awesome-applied-category-theory
Users that are interested in awesome-applied-category-theory are comparing it to the libraries listed below
Sorting:
- ☆27Updated 3 years ago
- A system for computational category theory and applications☆40Updated 9 years ago
- Theory and Applications of Lenses and Optics☆56Updated 3 years ago
- An interactive theorem prover for string diagrams☆123Updated last year
- Haskell implementation of open games☆181Updated 10 months ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆37Updated this week
- Categorica: a pure and applied category theory framework for the Wolfram Language☆33Updated last year
- RASP-L in Haskell for my fellow rascals☆20Updated 2 years ago
- Sheaves library for graph abstractions based on NetworkX☆14Updated 6 years ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- ☆122Updated last year
- Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky☆12Updated 6 years ago
- ☆44Updated 7 months ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆85Updated this week
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- Differentiable probabilistic answer set programming☆27Updated 5 months ago
- How to read Lean☆21Updated 10 months ago
- A framework for applied category theory in the Julia language☆18Updated last year
- program synthesis with neuro-symbolic differentiable interpreters☆16Updated 2 months ago
- Building dynamical systems compositionally☆74Updated this week
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆46Updated 7 years ago
- A graphical editor for graph-like structures☆101Updated last year
- a datastructure for scalable combinatorial syntax☆19Updated 9 months ago
- Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"☆66Updated 2 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆57Updated 11 years ago
- Rust bindings to GAP (Groups, Algorithms, Programming)☆29Updated 2 years ago
- DeepAlgebra☆25Updated 8 years ago
- ☆51Updated last year
- Build Petri net models compositionally☆89Updated 3 months ago
- Relational Algebra, now with more algebra!☆55Updated 2 months ago