jasonmorton / Cateno

Related projects ⓘ

Alternatives and complementary repositories for Cateno

• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated last year
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 10 years ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated 10 months ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆15Updated 2 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆72Updated 12 years ago
• jules-hedges / awesome-applied-category-theory
  ACT community resources
  ☆19Updated 5 years ago
• UniFormal / MMT
  The MMT Language and System
  ☆68Updated 3 months ago
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆44Updated 6 years ago
• Ebanflo42 / Persistence
  A topological data analysis library for Haskell
  ☆28Updated 3 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆42Updated 4 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆59Updated 4 years ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆92Updated 2 months ago
• dmurfet / polysemantics
  Polynomial semantics of linear logic
  ☆13Updated 6 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆39Updated last year
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago
• nshepperd / funn
  Funn: Functional Neural Networks in Haskell
  ☆24Updated 5 years ago
• j2kun / computing-homology
  Python code for the post "Computing Homology"
  ☆29Updated 2 years ago
• epatters / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆18Updated 3 weeks ago
• opencog / generate
  Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)
  ☆29Updated last year
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• bgamari / bayes-stack
  Framework for Gibbs sampling of probabilistic models
  ☆49Updated 9 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆34Updated 6 months ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆28Updated 4 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 2 years ago
• statusfailed / numeric-optics-python
  ☆23Updated 2 years ago
• iblech / scheme-theory-in-agda
  A formalization of synthetic algebraic geometry in Agda
  ☆13Updated 5 years ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆58Updated 4 years ago