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 month
• jakobmoosbauer / flips
  ☆17Updated last month
• marijnheule / matrix-challenges
  Challenging SAT benchmarks for matrix multiplication
  ☆11Updated 4 years ago
• Alpine-DAV / vtk-h
  ☆11Updated 3 years ago
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆24Updated 3 years ago
• DARMA-tasking / magistrate
  DARMA/magistrate => Serialization and checkpointing library
  ☆12Updated this week
• TESSEorg / ttg
  TTG: Template Task Graph C++ API
  ☆26Updated 2 months ago
• nclarius / pyPL
  Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
  ☆20Updated 5 months ago
• rvarago / kitten
  A small C++17 library inspired by Category Theory.
  ☆16Updated 3 years ago
• codeocelot / octopus-merge
  The famous merge strategy
  ☆13Updated 8 years ago
• GiraffeReversed / edulint
  EduLint is a Python linter aimed at helping novice programmers improve their coding style.
  ☆11Updated last week
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆62Updated 2 years ago
• CMakePP / CMakePPLang
  Object-oriented extension to the CMake language.
  ☆13Updated 7 months ago
• stnuessl / rf
  rf is a command-line tool capable of refactoring C and C++ source code.
  ☆24Updated 2 years ago
• 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
• michibo / feyntrop
  feyntrop integrates Feynman graphs using tropical sampling
  ☆15Updated 5 months ago
• falk-hueffner / sematrope
  Superoptimizer using the z3 SMT solver
  ☆17Updated 2 months ago
• sandialabs / parsegen-cpp
  A C++17 library for parser generation for LALR(1) languages
  ☆13Updated 3 years ago
• alhassy / easy-extensibility
  Making VSCode extensions ON-THE-FLY, without the ceremony of creating a new node project!
  ☆15Updated 2 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆50Updated 3 years ago
• eBay / sisl
  High Performance C++ data structures and utilities
  ☆16Updated 3 weeks ago
• llnl / gecko
  C++ library for graph ordering
  ☆15Updated 5 years ago
• bassoy / ttv
  C++ Header-Only Library for High-Performance Tensor-Vector Multiplication
  ☆23Updated 2 months ago
• jaypmorgan / cern-root-mode
  Major-mode for ROOT and the Cling REPL in Emacs
  ☆18Updated last year
• toastedcrumpets / stator
  A compile-time Computer Algebra System (CAS) library (with some geometry)
  ☆21Updated 2 years ago
• bstarynk / bismon
  persistent monitor (for static source code analysis, GCC based)
  ☆61Updated last year
• ashton314 / lambda-x86
  Lambda Calculus compiler targeting x86, written in Racket
  ☆11Updated 5 years ago
• nandor / mkcheck
  Incremental Build Verification
  ☆16Updated last year
• black-sat / black
  BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)
  ☆22Updated 4 months ago
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆13Updated 2 years ago