Alternatives and similar repositories for mathcestor

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

• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated 4 months ago
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆95Updated last year
• riswords / quiche
  ☆24Updated 2 years ago
• edemaine / texlish
  Better LaTeX that compiles to LaTeX
  ☆26Updated last month
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• MathBases / MathBases
  ☆25Updated 2 weeks ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆34Updated 3 months ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆123Updated 3 years ago
• egraphs-good / egglog-python
  Python bindings for the egglog rust library
  ☆91Updated this week
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆119Updated last week
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated last year
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆102Updated last year
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆65Updated 4 years ago
• idaks / PW-explorer
  ☆16Updated 4 years ago
• edemaine / comingle
  Multiroom meeting app integrating web tools
  ☆46Updated last year
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated 2 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆30Updated last year
• UoYCS-plasma / GP2
  The rule-based graph programming language GP 2
  ☆69Updated last week
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆82Updated last year
• hansenjakob / SheafLearning.jl
  Julia package for learning cellular sheaf Laplacians
  ☆16Updated 4 years ago
• yurivish / made-of-bits
  A little library of bit-based data structures.
  ☆17Updated last month
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆32Updated last month
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated 3 months ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• AlgebraicJulia / AlgebraicRelations.jl
  Relational Algebra, now with more algebra!
  ☆55Updated last month
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated this week
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆19Updated 8 months ago
• Wikunia / ConstraintSolver.jl
  ConstraintSolver in Julia: Blog posts ->
  ☆141Updated 3 years ago