Alternatives and similar repositories for MathLib

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

• idaholab / EMRALD
  Event Modeling Risk Assessment using Linked Diagrams (EMRALD) is a software tool developed at INL for researching the capabilities of dyn…
  ☆28Updated last week
• marijnheule / matrix-challenges
  Challenging SAT benchmarks for matrix multiplication
  ☆11Updated 4 years ago
• jakobmoosbauer / flips
  ☆17Updated this week
• JUrban / MPTP2
  ☆19Updated 8 years ago
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆24Updated 3 years ago
• nclarius / pyPL
  Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
  ☆20Updated 3 months ago
• Trepan-Debuggers / trepan-xpy
  Debugger in the Trepan family for x-python
  ☆17Updated last month
• jaypmorgan / cern-root-mode
  Major-mode for ROOT and the Cling REPL in Emacs
  ☆18Updated last year
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• rvarago / kitten
  A small C++17 library inspired by Category Theory.
  ☆16Updated 2 years ago
• janestreet / line-up-words
  a small cmd line tool to align words in a sequence of lines in a smart way
  ☆13Updated 3 weeks ago
• bstarynk / bismon
  persistent monitor (for static source code analysis, GCC based)
  ☆61Updated last year
• TESSEorg / ttg
  TTG: Template Task Graph C++ API
  ☆26Updated 2 weeks ago
• ashton314 / lambda-x86
  Lambda Calculus compiler targeting x86, written in Racket
  ☆10Updated 5 years ago
• eBay / sisl
  High Performance C++ data structures and utilities
  ☆16Updated last week
• black-sat / black
  BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)
  ☆19Updated 2 months ago
• michibo / feyntrop
  feyntrop integrates Feynman graphs using tropical sampling
  ☆12Updated 4 months ago
• falk-hueffner / sematrope
  Superoptimizer using the z3 SMT solver
  ☆17Updated last month
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 7 years ago
• dubrousky / mockmma
  ☆30Updated 7 years ago
• riswords / quiche
  ☆24Updated 2 years ago
• alhassy / easy-extensibility
  Making VSCode extensions ON-THE-FLY, without the ceremony of creating a new node project!
  ☆15Updated 2 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated last month
• Alpine-DAV / vtk-h
  ☆11Updated 3 years ago
• reduce-algebra / reduce-algebra
  reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…
  ☆42Updated this week
• linbox-team / givaro
  Givaro - C++ library for arithmetic and algebraic computations
  ☆53Updated 3 months ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆15Updated last month
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆30Updated last week
• jeromerobert / hmat-oss
  A hierarchical matrix C/C++ library
  ☆25Updated this week
• eschulte / goa
  Evolutionary optimization of extant software
  ☆28Updated 11 years ago