jasonmorton / CatenoLinks
A system for computational category theory and applications
☆38Updated 9 years ago
Alternatives and similar repositories for Cateno
Users that are interested in Cateno are comparing it to the libraries listed below
Sorting:
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- ☆26Updated 3 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆92Updated 10 months ago
- ☆44Updated 2 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Updated 11 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆56Updated 10 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Updated 6 years ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- ☆13Updated 3 years ago
- The MMT Language and System☆75Updated 11 months ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- A topological data analysis library for Haskell☆29Updated 4 years ago
- DeepAlgebra☆25Updated 7 years ago
- Primary implementation of the Venture probabilistic programming system☆27Updated 5 years ago
- Finite state machines as graphs☆59Updated 5 years ago
- Blockchain Technology for the Working Mathematician☆24Updated 8 years ago
- Haskell bindings to SymEngine☆26Updated last year
- Exploration of primes, factorization and number theory through haskell☆10Updated 8 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 11 years ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆88Updated 8 years ago
- Examples of Automatic Differentiation (AD) in many different languages and systems☆27Updated 7 years ago
- Code snippets accompanying the talk "Automatic Differentiation in Haskell."☆19Updated 5 years ago
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 3 years ago
- Category theory in Coq, by Jason Gross☆15Updated 10 years ago
- collaboration on work in progress☆15Updated 14 years ago
- Various Futhark benchmark programs☆42Updated last month
- The Design and Implementation of Probabilistic Programming Languages☆178Updated last year
- Lean Tutorials☆46Updated 4 years ago
- Julia embedded in Haskell☆52Updated 7 months ago
- My undergradate thesis on coinductive types in univalent type theory☆17Updated 7 years ago