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…
  ☆27Updated 2 weeks ago
• jakobmoosbauer / flips
  ☆14Updated last month
• marijnheule / matrix-challenges
  Challenging SAT benchmarks for matrix multiplication
  ☆11Updated 3 years ago
• nclarius / pyPL
  Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
  ☆20Updated last month
• janestreet / line-up-words
  a small cmd line tool to align words in a sequence of lines in a smart way
  ☆13Updated this week
• Alpine-DAV / vtk-h
  ☆11Updated 3 years ago
• TESSEorg / ttg
  TTG: Template Task Graph C++ API
  ☆26Updated 3 months ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆24Updated 3 years ago
• rvarago / kitten
  A small C++17 library inspired by Category Theory.
  ☆15Updated 2 years ago
• jaypmorgan / cern-root-mode
  Major-mode for ROOT and the Cling REPL in Emacs
  ☆18Updated 10 months ago
• Trepan-Debuggers / trepan-xpy
  Debugger in the Trepan family for x-python
  ☆17Updated last week
• CMakePP / CMakePPLang
  Object-oriented extension to the CMake language.
  ☆13Updated 3 months 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/…
  ☆41Updated this week
• LLNL / gecko
  C++ library for graph ordering
  ☆14Updated 5 years ago
• stnuessl / rf
  rf is a command-line tool capable of refactoring C and C++ source code.
  ☆24Updated 2 years ago
• dontcallmedom / spiff
  A diff tool that highlights changes at the token (rather than line) level
  ☆13Updated 2 years ago
• ashton314 / lambda-x86
  Lambda Calculus compiler targeting x86, written in Racket
  ☆10Updated 5 years ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆15Updated last month
• vinyasns / dfa-to-regex
  A Python implementation to convert a Deterministic Finite Automata to Regular Expression using state elimination method
  ☆21Updated 7 years ago
• jeromerobert / hmat-oss
  A hierarchical matrix C/C++ library
  ☆24Updated last week
• alhassy / easy-extensibility
  Making VSCode extensions ON-THE-FLY, without the ceremony of creating a new node project!
  ☆15Updated 2 years ago
• eschulte / goa
  Evolutionary optimization of extant software
  ☆28Updated 11 years ago
• GiraffeReversed / edulint
  EduLint is a Python linter aimed at helping novice programmers improve their coding style.
  ☆11Updated last month
• nandor / mkcheck
  Incremental Build Verification
  ☆15Updated last year
• bstarynk / bismon
  persistent monitor (for static source code analysis, GCC based)
  ☆61Updated last year
• 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
• darcamo / cmake-integration
  Integrates Emacs with CMake such that one can easily choose a target to compile/run
  ☆18Updated this week
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆13Updated last year
• falk-hueffner / sematrope
  Superoptimizer using the z3 SMT solver
  ☆17Updated 4 years ago