jules-hedges / awesome-applied-category-theoryLinks
ACT community resources
☆23Updated 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:
- ☆28Updated 3 years ago
- Theory and Applications of Lenses and Optics☆56Updated 3 years ago
- A framework for applied category theory in the Julia language☆19Updated last year
- A system for computational category theory and applications☆40Updated 9 years ago
- Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky☆13Updated 6 years ago
- An interactive theorem prover for string diagrams☆124Updated last year
- RASP-L in Haskell for my fellow rascals☆20Updated 2 years ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆87Updated last month
- ☆44Updated 8 months ago
- ☆125Updated last year
- ☆51Updated last year
- Haskell implementation of open games☆183Updated 11 months ago
- How to read Lean☆22Updated 11 months ago
- Learning Algebraic Varieties from Samples☆24Updated 2 years ago
- Holophrasm: a neural Automated Theorem Prover for higher-order logic☆56Updated 5 years ago
- Categorica: a pure and applied category theory framework for the Wolfram Language☆34Updated last year
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆46Updated 7 years ago
- DeepAlgebra☆25Updated 8 years ago
- Sheaves library for graph abstractions based on NetworkX☆14Updated 6 years ago
- Differentiable probabilistic answer set programming☆28Updated 6 months ago
- program synthesis with neuro-symbolic differentiable interpreters☆16Updated 4 months ago
- Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"☆68Updated 2 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆57Updated 11 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆38Updated 2 weeks ago
- Building dynamical systems compositionally☆76Updated 2 weeks ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆45Updated last month
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆77Updated 2 months ago
- Some examples of Lean projects, for undergraduate mathematicians.☆23Updated 4 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Updated 7 years ago