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…
  ☆15Updated last week
• 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 last week
• jakobmoosbauer / flips
  ☆11Updated last year
• Drup / llvmgraph
  Ocamlgraph overlay for llvm
  ☆21Updated 10 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• manateelazycat / flex
  It's a mode for flex files that provide better syntax highlight than flex-mode.el
  ☆9Updated 5 years ago
• rtosholdings / riptide_cpp
  Multihreaded 64 bit c++ files for processing numba arrays
  ☆17Updated last year
• AdaCore / sparkformal
  The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.
  ☆12Updated 4 years ago
• cpmbits / cpm
  A modern project management tool for C/C++ projects
  ☆11Updated 3 years ago
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆24Updated 2 years ago
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated 11 months ago
• jeromerobert / hmat-oss
  A hierarchical matrix C/C++ library
  ☆23Updated last week
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆13Updated last year
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆14Updated last month
• rocq-community / bits
  A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…
  ☆23Updated last week
• uwplse / potpie
  Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct
  ☆16Updated 8 months ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 2 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated last year
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 4 years ago
• SacBase / Stdlib
  This repository contains the Core and Extended source files of the Standard Library of the SaC programming language
  ☆14Updated this week
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 4 years ago
• Alpine-DAV / vtk-h
  ☆11Updated 2 years ago
• nandor / mkcheck
  Incremental Build Verification
  ☆13Updated last year
• aryx / yacfe
  Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…
  ☆25Updated 6 years ago
• falk-hueffner / sematrope
  Superoptimizer using the z3 SMT solver
  ☆17Updated 4 years 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
• MatthewFluet / smelt
  Forging Standard ML (SML) in emacs
  ☆10Updated 2 years ago
• rvarago / kitten
  A small C++17 library inspired by Category Theory.
  ☆16Updated 2 years ago