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…
  ☆16Updated this week
• marijnheule / matrix-challenges
  Challenging SAT benchmarks for matrix multiplication
  ☆11Updated 3 years ago
• jakobmoosbauer / flips
  ☆13Updated last year
• JUrban / MPTP2
  ☆19Updated 8 years ago
• manateelazycat / flex
  It's a mode for flex files that provide better syntax highlight than flex-mode.el
  ☆9Updated 5 years ago
• Beaudidly / mcts
  A Monte Carlo tree search solver for games with perfect information.
  ☆10Updated 8 years ago
• AlmaemberTheGreat / fine
  A very simple benchmarking tool
  ☆16Updated 3 years ago
• janestreet / line-up-words
  a small cmd line tool to align words in a sequence of lines in a smart way
  ☆13Updated 2 months ago
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆13Updated last year
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• Alpine-DAV / vtk-h
  ☆11Updated 2 years ago
• rtosholdings / riptide_cpp
  Multihreaded 64 bit c++ files for processing numba arrays
  ☆17Updated last year
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated last year
• SacBase / Stdlib
  This repository contains the Core and Extended source files of the Standard Library of the SaC programming language
  ☆15Updated last week
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆14Updated last week
• riswords / quiche
  ☆22Updated 2 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆15Updated 2 years ago
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆25Updated 2 years ago
• ashton314 / lambda-x86
  Lambda Calculus compiler targeting x86, written in Racket
  ☆10Updated 5 years ago
• sheredom / fpscev
  Floating-Point Scalar Evolution
  ☆12Updated 6 years ago
• bjodah / sym
  Unified interface to symbolic manipulation libraries in Python
  ☆9Updated 4 months ago
• gpetiot / Frama-C-Mutation
  Generation of mutant programs
  ☆20Updated 6 years ago
• WessZumino / Random-Matrix-theory-for-pedestrians
  ☆18Updated 4 years ago
• mlochbaum / SingeliSort
  Sorting with Singeli
  ☆12Updated last month
• stnuessl / rf
  rf is a command-line tool capable of refactoring C and C++ source code.
  ☆24Updated 2 years ago
• rvarago / kitten
  A small C++17 library inspired by Category Theory.
  ☆16Updated 2 years ago
• jeromerobert / hmat-oss
  A hierarchical matrix C/C++ library
  ☆23Updated last week
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated last year
• rewriting / tom
  ☆34Updated 4 years ago
• numba / numba-scfg
  Numba compatible SCFG (Structured Control Flow Graphs) utilities.
  ☆22Updated last week