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…
  ☆14Updated this week
• jakobmoosbauer / flips
  ☆11Updated last year
• JUrban / MPTP2
  ☆19Updated 8 years ago
• janestreet / line-up-words
  a small cmd line tool to align words in a sequence of lines in a smart way
  ☆13Updated 4 months ago
• manateelazycat / flex
  It's a mode for flex files that provide better syntax highlight than flex-mode.el
  ☆9Updated 5 years ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆14Updated this week
• Alpine-DAV / vtk-h
  ☆11Updated 2 years ago
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆24Updated 2 years ago
• TESSEorg / ttg
  TTG: Template Task Graph C++ API
  ☆19Updated last month
• ashton314 / lambda-x86
  Lambda Calculus compiler targeting x86, written in Racket
  ☆10Updated 4 years ago
• rvarago / kitten
  A small C++17 library inspired by Category Theory.
  ☆16Updated 2 years ago
• jaypmorgan / cern-root-mode
  Major-mode for ROOT and the Cling REPL in Emacs
  ☆18Updated 4 months ago
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆13Updated last year
• ttarkowski / quile
  C++ genetic algorithms scientific library
  ☆13Updated last year
• CMakePP / CMakePPLang
  Object-oriented extension to the CMake language.
  ☆11Updated last year
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated 10 months ago
• OpenCilk / cheetah
  Source for the OpenCilk runtime system, based on Cheetah.
  ☆22Updated 2 weeks ago
• pmodels / yaksa
  Yaksa: High-performance Noncontiguous Data Management
  ☆13Updated 6 months ago
• bassoy / ttv
  C++ Header-Only Library for High-Performance Tensor-Vector Multiplication
  ☆21Updated 3 months ago
• darcamo / cmake-integration
  Integrates Emacs with CMake such that one can easily choose a target to compile/run
  ☆14Updated last week
• nclarius / pyPL
  Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
  ☆20Updated 4 months ago
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆30Updated 3 weeks ago
• nandor / mkcheck
  Incremental Build Verification
  ☆13Updated 11 months ago
• reaktoro / optima
  A C++/Python library for numerical optimization calculations
  ☆12Updated 3 weeks ago
• falk-hueffner / sematrope
  Superoptimizer using the z3 SMT solver
  ☆17Updated 4 years ago
• harsman / dyalog-mode
  Emacs major mode for Dyalog APL
  ☆15Updated 2 years ago
• Drup / llvmgraph
  Ocamlgraph overlay for llvm
  ☆21Updated 9 years ago
• eschulte / goa
  Evolutionary optimization of extant software
  ☆27Updated 10 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 6 years ago
• marcoheisig / petalisp-for-python
  Petalisp for Python - a replacement for Numpy.
  ☆14Updated 6 years ago