Inaxo / MathLib
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 last year
Alternatives and similar repositories for MathLib:
Users that are interested in MathLib are comparing it to the libraries listed below
- Event Modeling Risk Assessment using Linked Diagrams (EMRALD) is a software tool developed at INL for researching the capabilities of dyn…☆14Updated this week
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Updated 2 months ago
- ☆11Updated last year
- ☆19Updated 7 years ago
- A modern project management tool for C/C++ projects☆11Updated 2 years ago
- ☆11Updated 2 years ago
- Operations with matrices, SWI pack☆13Updated last year
- Ocamlgraph overlay for llvm☆21Updated 9 years ago
- This repository collects notebooks for the course☆9Updated last month
- TTG: Template Task Graph C++ API☆18Updated last week
- Object-oriented extension to the CMake language.☆11Updated last year
- Visualization tool for analyzing call trees and graphs☆31Updated last year
- An interactive development environment for SMT-LIB files and Z3☆23Updated 2 years ago
- C++ genetic algorithms scientific library☆13Updated last year
- A small C++17 library inspired by Category Theory.☆16Updated 2 years ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆11Updated 3 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 6 years ago
- Multihreaded 64 bit c++ files for processing numba arrays☆17Updated 9 months ago
- C++ library for graph ordering☆14Updated 4 years ago
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- C++ Header-Only Library for High-Performance Tensor-Vector Multiplication☆21Updated 2 months ago
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆38Updated this week
- Major-mode for ROOT and the Cling REPL in Emacs☆18Updated 2 months ago
- Forging Standard ML (SML) in emacs☆10Updated 2 years ago
- Making VSCode extensions ON-THE-FLY, without the ceremony of creating a new node project!☆15Updated last year
- Le-Lisp by INRIA☆28Updated 2 years ago
- Kodi's Hy utility functions and macros☆12Updated 2 years ago
- Correctly-rounded mathematical functions for Julia☆8Updated 2 months ago