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

• statusfailed / numeric-optics-python
  ☆26Updated 3 years ago
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆55Updated 3 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 9 years ago
• philzook58 / fib-anyon
  An implementation of Fibonacci Anyons in Haskell
  ☆22Updated 5 years ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 2 years ago
• quantumformalism / software-verification
  ☆24Updated last year
• DavidJaz / DynamicalSystemsBook
  ☆49Updated last year
• Ebanflo42 / Persistence
  A topological data analysis library for Haskell
  ☆29Updated 4 years ago
• leanprover-community / leancrawler
  An obsolete python library which gathers statistics and relational information about Lean 3 libraries.
  ☆17Updated last year
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 11 years ago
• fsestini / zsyntax
  Automated theorem prover for a linear logic-based calculus for molecular biology.
  ☆12Updated 2 years ago
• jwiegley / control-theory
  Control theory in Haskell: Data structures, algorithms and adapters
  ☆80Updated 6 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆14Updated last year
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• dwhalen / holophrasm
  Holophrasm: a neural Automated Theorem Prover for higher-order logic
  ☆55Updated 5 years ago
• philzook58 / ad-lens
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆20Updated 5 years ago
• zhangir-azerbayev / lean-chat-vscode
  ☆25Updated 2 years ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• avigad / arwm
  Automated Reasoning for the Working Mathematician
  ☆11Updated 5 years ago
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• machine-intelligence / provability
  ☆38Updated 9 years ago
• jrclogic / SMCDEL
  A symbolic model checker for Dynamic Epistemic Logic.
  ☆46Updated 5 months ago
• IBM / FormalML
  Formalization of Machine Learning Theory with Applications to Program Synthesis
  ☆76Updated 2 months ago
• charlesfrye / raskell
  RASP-L in Haskell for my fellow rascals
  ☆19Updated last year
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆15Updated 10 years ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 7 years ago
• homotopy-io / homotopy-webclient
  ☆27Updated last year
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago