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
- ☆14Updated last year
- Challenging SAT benchmarks for matrix multiplication☆11Updated 3 years ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Updated 8 months ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Updated 3 months ago
- An interactive development environment for SMT-LIB files and Z3☆24Updated 2 years ago
- ☆19Updated 8 years ago
- Debugger in the Trepan family for x-python☆17Updated 2 weeks ago
- The famous merge strategy☆13Updated 8 years ago
- A small C++17 library inspired by Category Theory.☆16Updated 2 years ago
- EduLint is a Python linter aimed at helping novice programmers improve their coding style.☆11Updated 3 months ago
- ☆23Updated 2 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Lambda Calculus compiler targeting x86, written in Racket☆10Updated 5 years ago
- Resources for Learning PLT Redex☆11Updated 4 years ago
- Incremental Build Verification☆15Updated last year
- ☆11Updated 3 years ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Updated 4 years ago
- This is an engineering economics course that is tuned to the Portland State University University Studies requirements and has a much low…☆8Updated 6 years ago
- ☆9Updated last year
- TTG: Template Task Graph C++ API☆24Updated last month
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆14Updated last month
- Superoptimizer using the z3 SMT solver☆17Updated 4 years ago
- Evolutionary optimization of extant software☆27Updated 11 years ago
- C++ library for semigroups and monoids☆62Updated last week
- rf is a command-line tool capable of refactoring C and C++ source code.☆24Updated 2 years ago
- SRTuner is a python library that provides efficient auto-tuning building blocks.☆7Updated 3 years ago
- Object-oriented extension to the CMake language.☆13Updated last month
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated 11 months ago