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
Related projects ⓘ
Alternatives and complementary repositories for MathLib
- Event Modeling Risk Assessment using Linked Diagrams (EMRALD) is a software tool developed at INL for researching the capabilities of dyn…☆13Updated last week
- ☆9Updated 11 months ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Updated 2 weeks ago
- ☆19Updated 7 years ago
- A small C++17 library inspired by Category Theory.☆15Updated last year
- Major-mode for ROOT and the Cling REPL in Emacs☆14Updated 7 months ago
- TTG: Template Task Graph C++ API☆18Updated this week
- An interactive development environment for SMT-LIB files and Z3☆22Updated 2 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆12Updated last month
- Lambda Calculus compiler targeting x86, written in Racket☆10Updated 4 years ago
- C++ Header-Only Library for High-Performance Tensor-Vector Multiplication☆19Updated this week
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆15Updated 3 months ago
- Superoptimizer using the z3 SMT solver☆15Updated 3 years ago
- Operations with matrices, SWI pack☆12Updated 11 months ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆11Updated 3 years ago
- A library for binary analysis and rewriting☆47Updated last year
- This repository contains the Core and Extended source files of the Standard Library of the SaC programming language☆13Updated last week
- Ocamlgraph overlay for llvm☆21Updated 9 years ago
- ☆10Updated 3 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 4 years ago
- Evolutionary optimization of extant software☆27Updated 10 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 3 years ago
- DARMA/magistrate => Serialization and checkpointing library☆12Updated this week
- SIMD-enabled descriptive statistics (mean, variance, covariance, correlation)☆18Updated 3 months ago
- Asserting algebraic properties of C functions☆10Updated this week
- ☆11Updated 2 years ago
- ☆17Updated last year
- 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
- Integrates Emacs with CMake such that one can easily choose a target to compile/run☆14Updated 11 months ago