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…☆13Updated this week
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Updated 2 months ago
- Ocamlgraph overlay for llvm☆21Updated 9 years ago
- ☆10Updated last year
- ☆19Updated 7 years ago
- Operations with matrices, SWI pack☆12Updated last year
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 90's☆10Updated last year
- TTG: Template Task Graph C++ API☆18Updated last week
- A small C++17 library inspired by Category Theory.☆16Updated 2 years ago
- Incremental Build Verification☆13Updated 9 months ago
- C++ Header-Only Library for High-Performance Tensor-Vector Multiplication☆21Updated last month
- A library of AMD optimized memory and string functions☆13Updated this week
- ☆22Updated last year
- This repository contains the Core and Extended source files of the Standard Library of the SaC programming language☆14Updated last week
- Evolutionary optimization of extant software☆27Updated 10 years ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆11Updated 3 years ago
- MimIR is my Intermediate Representation☆51Updated last week
- C++ genetic algorithms scientific library☆12Updated last year
- AI Memo transcript☆23Updated 10 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆12Updated 3 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆32Updated 8 months ago
- racket llvm C-API bindings☆17Updated last month
- A package to typeset ZX calculus directly in LaTeX.☆14Updated 10 months ago
- ☆11Updated 2 years ago
- Forging Standard ML (SML) in emacs☆10Updated 2 years ago
- Lambda Calculus compiler targeting x86, written in Racket☆10Updated 4 years ago
- A modern project management tool for C/C++ projects☆11Updated 2 years ago
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆27Updated last year
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 4 years ago
- Object-oriented extension to the CMake language.☆11Updated last year