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 2 weeks ago
- ☆15Updated 2 months ago
- ☆11Updated 3 years ago
- TTG: Template Task Graph C++ API☆26Updated last week
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Updated this week
- Challenging SAT benchmarks for matrix multiplication☆11Updated 4 years ago
- EduLint is a Python linter aimed at helping novice programmers improve their coding style.☆11Updated 2 months ago
- An interactive development environment for SMT-LIB files and Z3☆24Updated 3 years ago
- ☆19Updated 8 years ago
- Major-mode for ROOT and the Cling REPL in Emacs☆18Updated 11 months ago
- C++ library for graph ordering☆14Updated 5 years ago
- DARMA/magistrate => Serialization and checkpointing library☆12Updated last month
- Debugger in the Trepan family for x-python☆17Updated last month
- A hierarchical matrix C/C++ library☆24Updated this week
- persistent monitor (for static source code analysis, GCC based)☆61Updated last year
- Operations with matrices, SWI pack☆13Updated last year
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆14Updated 2 months ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Updated 4 years ago
- A small C++17 library inspired by Category Theory.☆17Updated 2 years ago
- Automates using spack to build and deploy software☆29Updated last week
- A header-only C++ library for writing compiler/interpreter frontends.☆15Updated 2 weeks ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- Source for the OpenCilk runtime system, based on Cheetah.☆22Updated 4 months ago
- Lambda Calculus compiler targeting x86, written in Racket☆10Updated 5 years ago
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆42Updated this week
- Superoptimizer using the z3 SMT solver☆17Updated 3 weeks ago
- AI Memo transcript☆23Updated 11 years ago
- feyntrop integrates Feynman graphs using tropical sampling☆12Updated 3 months ago
- Literate Programming in C/C++☆36Updated 3 months ago
- Guile-based library implementing flexible control files for scientific simulations☆21Updated 11 months ago