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
- It's a mode for flex files that provide better syntax highlight than flex-mode.el☆9Updated 5 years ago
- Challenging SAT benchmarks for matrix multiplication☆11Updated 3 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
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Updated 7 months ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Updated 2 months ago
- Multihreaded 64 bit c++ files for processing numba arrays☆17Updated last year
- Operations with matrices, SWI pack☆13Updated last year
- A small C++17 library inspired by Category Theory.☆16Updated 2 years ago
- feyntrop integrates Feynman graphs using tropical sampling☆12Updated last month
- TTG: Template Task Graph C++ API☆24Updated last week
- A header-only C++ library for writing compiler/interpreter frontends.☆14Updated last month
- ☆11Updated 3 years ago
- ☆19Updated 8 years ago
- C++ genetic algorithms scientific library☆13Updated last year
- An interactive development environment for SMT-LIB files and Z3☆25Updated 2 years ago
- Major-mode for ROOT and the Cling REPL in Emacs☆18Updated 7 months ago
- Incremental Build Verification☆15Updated last year
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆27Updated 4 years ago
- Integrates Emacs with CMake such that one can easily choose a target to compile/run☆15Updated last week
- Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…☆25Updated 6 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Source for the OpenCilk runtime system, based on Cheetah.☆22Updated last week
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- DARMA/magistrate => Serialization and checkpointing library☆12Updated this week
- Visualization tool for analyzing call trees and graphs☆34Updated 2 years ago
- Resources for Learning PLT Redex☆11Updated 3 years ago
- parser combinator and AST generator in c++17☆24Updated 2 years ago
- A collection of lambda calculus interpreters and development tools☆15Updated 2 years ago