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 2 weeks ago
• jakobmoosbauer / flips
  ☆17Updated 3 weeks ago
• marijnheule / matrix-challenges
  Challenging SAT benchmarks for matrix multiplication
  ☆11Updated 4 years ago
• nclarius / pyPL
  Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
  ☆20Updated 4 months 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 last month
• jaypmorgan / cern-root-mode
  Major-mode for ROOT and the Cling REPL in Emacs
  ☆18Updated last year
• TESSEorg / ttg
  TTG: Template Task Graph C++ API
  ☆26Updated last month
• JUrban / MPTP2
  ☆19Updated 8 years ago
• jeromerobert / hmat-oss
  A hierarchical matrix C/C++ library
  ☆25Updated 2 weeks ago
• Alpine-DAV / vtk-h
  ☆11Updated 3 years ago
• ashton314 / lambda-x86
  Lambda Calculus compiler targeting x86, written in Racket
  ☆10Updated 5 years ago
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆24Updated 3 years ago
• eBay / sisl
  High Performance C++ data structures and utilities
  ☆16Updated 3 weeks ago
• tchajed / futex-tutorial
  ☆17Updated last year
• Trepan-Debuggers / trepan-xpy
  Debugger in the Trepan family for x-python
  ☆17Updated 2 months ago
• nandor / mkcheck
  Incremental Build Verification
  ☆15Updated last year
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆13Updated 2 years ago
• darcamo / cmake-integration
  Integrates Emacs with CMake such that one can easily choose a target to compile/run
  ☆21Updated 2 weeks ago
• codeocelot / octopus-merge
  The famous merge strategy
  ☆13Updated 8 years ago
• kevinconway / pycc
  Python code optimizer.
  ☆21Updated 11 years ago
• dontcallmedom / spiff
  A diff tool that highlights changes at the token (rather than line) level
  ☆13Updated 3 years ago
• bstarynk / bismon
  persistent monitor (for static source code analysis, GCC based)
  ☆61Updated last year
• ttarkowski / quile
  C++ genetic algorithms scientific library
  ☆15Updated 2 years ago
• rtosholdings / riptide_cpp
  Multihreaded 64 bit c++ files for processing numba arrays
  ☆17Updated last year
• alhassy / easy-extensibility
  Making VSCode extensions ON-THE-FLY, without the ceremony of creating a new node project!
  ☆15Updated 2 years ago
• DARMA-tasking / magistrate
  DARMA/magistrate => Serialization and checkpointing library
  ☆12Updated last week
• toastedcrumpets / stator
  A compile-time Computer Algebra System (CAS) library (with some geometry)
  ☆20Updated 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