Inaxo / MathLibLinks
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 2 years ago
Alternatives and similar repositories for MathLib
Users that are interested in MathLib are comparing it to the libraries listed below
Sorting:
- Event Modeling Risk Assessment using Linked Diagrams (EMRALD) is a software tool developed at INL for researching the capabilities of dyn…☆16Updated this week
- ☆13Updated last year
- Challenging SAT benchmarks for matrix multiplication☆11Updated 3 years ago
- A small C++17 library inspired by Category Theory.☆16Updated 2 years ago
- It's a mode for flex files that provide better syntax highlight than flex-mode.el☆9Updated 5 years ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Updated 7 months ago
- ☆19Updated 8 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 7 years ago
- Floating-Point Scalar Evolution☆12Updated 6 years ago
- Integrates Emacs with CMake such that one can easily choose a target to compile/run☆15Updated this week
- parser combinator and AST generator in c++17☆24Updated 2 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆14Updated 3 weeks ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Updated 2 months ago
- A simple cross-platform speed & memory-efficiency benchmark for the most common hash-table implementations in the C++ world☆11Updated 2 years ago
- Functional algorithms - definitions and implementations☆10Updated this week
- ☆11Updated 2 years ago
- A perfect hash code for CPUs and GPUs using OpenCL☆16Updated 4 years ago
- Fuzz testing for Dafny☆13Updated 3 years ago
- Superoptimizer using the z3 SMT solver☆17Updated 4 years ago
- Another Emacs frontend to GNU Global☆12Updated last month
- Multihreaded 64 bit c++ files for processing numba arrays☆17Updated last year
- Major-mode for ROOT and the Cling REPL in Emacs☆18Updated 7 months ago
- rf is a command-line tool capable of refactoring C and C++ source code.☆24Updated 2 years ago
- Improved NetBSD's Perfect Hash Generation Tool v3☆20Updated last year
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Updated 4 years ago
- CLang Plugin for calculating AST hashes☆15Updated 6 years ago
- Operations with matrices, SWI pack☆13Updated last year
- An interactive development environment for SMT-LIB files and Z3☆25Updated 2 years ago
- An interface for using mwillsey/egg with math simplification.☆13Updated last year
- MlpIndex - Extremely fast ordered index via memory level parallelism☆12Updated 6 years ago