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…☆28Updated last month
- ☆17Updated last month
- Challenging SAT benchmarks for matrix multiplication☆11Updated 4 years ago
- ☆19Updated 8 years ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Updated 5 months ago
- An interactive development environment for SMT-LIB files and Z3☆24Updated 3 years ago
- Operations with matrices, SWI pack☆13Updated 2 years ago
- ☆11Updated 3 years ago
- Incremental Build Verification☆16Updated last year
- TTG: Template Task Graph C++ API☆26Updated 2 months ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆14Updated 5 months ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Updated 3 weeks ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Updated last month
- A Self-Hosting LISP to LLVM-IR Compiler☆28Updated 6 years ago
- Resources for Learning PLT Redex☆13Updated 4 years ago
- Embeddable Common-Lisp C-Interop Demo☆15Updated 3 years ago
- Proof-of-concept formal verification using Hoare logic☆21Updated 5 years ago
- AI Memo transcript☆23Updated 12 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 5 years ago
- A hierarchical matrix C/C++ library☆25Updated this week
- Superoptimizer using the z3 SMT solver☆17Updated 3 months ago
- Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…☆25Updated 7 years ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Updated 4 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
- Debugger in the Trepan family for x-python☆17Updated 3 months ago
- Evolutionary optimization of extant software☆28Updated 11 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated last year
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 8 years ago
- Lambda Calculus compiler targeting x86, written in Racket☆11Updated 5 years ago
- ☆24Updated 2 years ago