Inaxo / MathLib
MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to transformations of containers using overloaded operators, quadratic functions, and various mathematical functions.
☆11Updated last year
Alternatives and similar repositories for MathLib:
Users that are interested in MathLib are comparing it to the libraries listed below
- Event Modeling Risk Assessment using Linked Diagrams (EMRALD) is a software tool developed at INL for researching the capabilities of dyn…☆14Updated this week
- ☆11Updated last year
- Operations with matrices, SWI pack☆13Updated last year
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆15Updated 7 months ago
- ☆19Updated 8 years ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Updated 3 months ago
- A header-only C++ library for writing compiler/interpreter frontends.☆14Updated last week
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Updated 4 months ago
- Fuzz testing for Dafny☆13Updated 2 years ago
- TTG: Template Task Graph C++ API☆19Updated last month
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- An interactive development environment for SMT-LIB files and Z3☆24Updated 2 years ago
- Quantum circuits compiler with staging and continuations☆15Updated 4 months ago
- ☆11Updated 2 years ago
- The Cubicle model checker☆13Updated last year
- ☆9Updated 7 months ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- Python tools for the K Framework☆13Updated 10 months ago
- C++ genetic algorithms scientific library☆13Updated last year
- Lambda Calculus compiler targeting x86, written in Racket☆10Updated 4 years ago
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆23Updated last month
- Multihreaded 64 bit c++ files for processing numba arrays☆17Updated 10 months ago
- parser combinator and AST generator in c++17☆24Updated 2 years ago
- CMake FindLAPACK.cmake that works with Intel MKL, Atlas, OpenBLAS, Netlib, LAPACK95 for C / C++ / Fortran☆15Updated 2 years ago
- MLIR tools and dialect for GraphBLAS☆18Updated 2 years ago
- Forging Standard ML (SML) in emacs☆10Updated 2 years ago
- A hierarchical matrix C/C++ library☆23Updated last week