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…☆27Updated last week
- ☆14Updated last month
- Challenging SAT benchmarks for matrix multiplication☆11Updated 4 years ago
- Monadic Error Handling for Python☆11Updated last year
- ☆19Updated 8 years ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Updated 3 weeks ago
- An interactive development environment for SMT-LIB files and Z3☆24Updated 3 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
- AI Memo transcript☆23Updated 11 years ago
- ☆11Updated 3 years ago
- Training files for Ada courses☆13Updated 5 months ago
- A small C++17 library inspired by Category Theory.☆16Updated 2 years ago
- Debugger in the Trepan family for x-python☆16Updated 2 weeks ago
- Operations with matrices, SWI pack☆13Updated last year
- Lambda Calculus compiler targeting x86, written in Racket☆10Updated 5 years ago
- Major-mode for ROOT and the Cling REPL in Emacs☆18Updated 11 months ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Updated 2 months ago
- Evolutionary optimization of extant software☆28Updated 11 years ago
- A Self-Hosting LISP to LLVM-IR Compiler☆28Updated 6 years ago
- Source for the OpenCilk runtime system, based on Cheetah.☆22Updated 3 months ago
- TTG: Template Task Graph C++ API☆26Updated 3 months ago
- A hierarchical matrix C/C++ library☆24Updated this week
- A header-only C++ library for writing compiler/interpreter frontends.☆15Updated 2 months ago
- rf is a command-line tool capable of refactoring C and C++ source code.☆24Updated 2 years ago
- A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…☆30Updated 3 years ago
- SPARK 2014 repository for the Why3 verification platform.☆33Updated 2 weeks ago
- C++ Header-Only Library for High-Performance Tensor-Vector Multiplication☆22Updated 10 months ago
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆41Updated this week
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 5 years ago
- yorick interpreted language☆82Updated 6 months ago