Alternatives and similar repositories for category-theory-python:

Users that are interested in category-theory-python are comparing it to the libraries listed below

• statusfailed / numeric-optics-python
  ☆25Updated 2 years ago
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆29Updated 4 months ago
• mhajij / Algebraically_Informed_Deep_Nets
  AIDN is a deep learning algorithm to represent any finitely-presented algebraic object with a set of deep neural networks.
  ☆8Updated 4 years ago
• edwardjhu / improved_wasserstein
  Code for our ICLR Trustworthy ML 2020 workshop paper "Improved Image Wasserstein Attacks and Defenses"
  ☆14Updated 5 years ago
• dennybritz / probability-monads
  ☆9Updated 2 years ago
• leanprover-community / leancrawler
  An obsolete python library which gathers statistics and relational information about Lean 3 libraries.
  ☆17Updated last year
• AlgebraicJulia / ModelExploration.jl
  Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.
  ☆12Updated last year
• appliedgeometry / poissongeometry
  A Python module for (local) Poisson-Nijenhuis calculus on Poisson manifolds
  ☆13Updated 6 months ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• hansenjakob / SheafLearning.jl
  Julia package for learning cellular sheaf Laplacians
  ☆16Updated 4 years ago
• MuonRay / QuantumNetworkSimulations
  A series of simulation codes used to emulate quantum-like networks in the simulation of emergent adaptive behavior, such as network sync…
  ☆13Updated 9 months ago
• mhlr / awesome-jax
  List of awesome JAX resources
  ☆13Updated 2 years ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 6 years ago
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated 11 months ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• ccshan / prob-school
  Probabilistic Programming (Scottish Programming Languages and Verification Summer School 2019)
  ☆10Updated 5 years ago
• mariainesdff / ai_math_tcs
  An introduction to theorem proving in Lean for the impatient.
  ☆17Updated last month
• JeffBezanson / dataflow.jl
  introduction to dataflow analysis using julia
  ☆14Updated 4 years ago
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 7 years ago
• rizalzaf / AdversarialPrediction.jl
  Easily optimize generic performance metrics in differentiable learning.
  ☆18Updated 4 years ago
• utensil / lean4_jupyter
  A Lean 4 Jupyter kernel via repl
  ☆26Updated 5 months ago
• scikit-monaco / scikit-monaco
  Python routines for Monte Carlo integration. Written in Cython and Python for fast computations. @Naereen knows the installation is broke…
  ☆32Updated last month
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆13Updated last year
• chrisheunen / freetikz
  FreeTikZ
  ☆38Updated 7 years ago
• mlelarge / fitting_model_epidemiology
  Code to estimate models in epidemiology
  ☆9Updated 2 years ago
• zhangir-azerbayev / lean-chat
  ☆49Updated 2 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• sagemanifolds / IntroToManifolds
  Andrzej Chrzeszczyk's introduction to manifolds in SageMath
  ☆8Updated 2 years ago
• davidar / stochaskell
  ☆13Updated 2 years ago