Alternatives and similar repositories for proofofconcept:

Users that are interested in proofofconcept are comparing it to the libraries listed below

• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆37Updated 10 months ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆51Updated this week
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 2 months ago
• MathWebSearch / mws
  MathWebSearch Implementation
  ☆47Updated 2 years ago
• finsberg / category-theory-python
  Learning platform for category theory in python
  ☆16Updated this week
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 6 years ago
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆32Updated 3 years ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated last year
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆28Updated 5 years ago
• metamath / metamath-book
  Source of metamath book
  ☆47Updated last year
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆70Updated last year
• chrisheunen / freetikz
  FreeTikZ
  ☆37Updated 7 years ago
• probonto / ontology
  ☆15Updated last year
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• j2kun / computing-homology
  Python code for the post "Computing Homology"
  ☆29Updated 2 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆55Updated 2 months ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• arquicanedo / graph2sheaves
  Sheaves library for graph abstractions based on NetworkX
  ☆15Updated 5 years ago
• j2kun / riemann-divisor-sum
  Code for the series "Searching for Riemann Hypothesis Counterexamples"
  ☆21Updated last year
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆54Updated 10 years ago
• stacks / stacks-tools
  Tools for managing the TeX sources of the Stacks project
  ☆16Updated 8 months ago
• b-mehta / combinatorics
  ☆22Updated 2 years ago
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆17Updated 4 years ago
• jakebian / kan
  Kan: A browser extension for reading nLab
  ☆26Updated 6 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• 3-manifolds / Spherogram
  Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…
  ☆19Updated 3 weeks ago
• IBM / datascienceontology
  Data Science Ontology
  ☆36Updated 5 months ago
• sagemath / more-sagemath-tutorials
  More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage
  ☆32Updated last year