epatters / Catlab.jl
A framework for applied category theory in the Julia language
☆18Updated last month
Related projects: ⓘ
- Julia embedded in Haskell☆53Updated 5 years ago
- ☆44Updated last year
- A graphical editor for graph-like structures☆93Updated 9 months ago
- A system for computational category theory and applications☆35Updated 8 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- An Experiment in Haskell Symbolic Algebra☆71Updated 12 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆25Updated last month
- Build Petri net models compositionally☆72Updated 2 months ago
- ☆23Updated 2 years ago
- ☆34Updated 2 months ago
- Theories of social science expressed in Catlab.jl formalisms☆15Updated 3 years ago
- A toolkit for higher-dimensional diagram rewriting.☆15Updated 2 years ago
- Theory and Applications of Lenses and Optics☆50Updated 2 years ago
- Resources for making sense of topology and its concepts☆17Updated 3 years ago
- Relational Algebra, now with more algebra!☆48Updated 10 months ago
- A topological data analysis library for Haskell☆28Updated 3 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆92Updated last week
- ACT community resources☆18Updated 4 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 2 years ago
- Learning Algebraic Varieties from Samples☆24Updated 8 months ago
- Formalization of category theory in Agda☆13Updated last year
- Code snippets accompanying the talk "Automatic Differentiation in Haskell."☆19Updated 4 years ago
- Haskell bindings to SymEngine☆25Updated last year
- ☆41Updated 4 months ago
- Coordinate-free hypersurfaces as Haskell types☆39Updated last year
- A list of works and resources about double category theory, with a particular focus on applications.☆24Updated last year
- Julia package for learning cellular sheaf Laplacians☆16Updated 3 years ago
- Building dynamical systems compositionally☆65Updated last week
- A Haskell DSEL for experimental game theory.☆35Updated 2 years ago
- Brent's PhD thesis.☆63Updated 8 years ago