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 last year
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
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Updated last month
- Challenging SAT benchmarks for matrix multiplication☆11Updated 3 years ago
- ☆19Updated 8 years ago
- It's a mode for flex files that provide better syntax highlight than flex-mode.el☆9Updated 5 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated 9 months ago
- An interface for using mwillsey/egg with math simplification.☆13Updated last year
- Ocamlgraph overlay for llvm☆21Updated 10 years ago
- An interactive development environment for SMT-LIB files and Z3☆25Updated 2 years ago
- ☆12Updated 9 months ago
- ☆12Updated last year
- A small C++17 library inspired by Category Theory.☆16Updated 2 years ago
- ☆11Updated 2 years ago
- Generation of mutant programs☆20Updated 6 years ago
- Parallel Self-Adjusting Computation☆13Updated 3 years ago
- C++ Header-Only Library for High-Performance Tensor-Vector Multiplication☆21Updated 5 months ago
- Operations with matrices, SWI pack☆13Updated last year
- Isabelle LLVM Code Generator and Refinement☆28Updated 2 months ago
- A perfect hash code for CPUs and GPUs using OpenCL☆16Updated 4 years ago
- Lambda Calculus compiler targeting x86, written in Racket☆10Updated 4 years ago
- TTG: Template Task Graph C++ API☆20Updated last week
- Debugger in the Trepan family for x-python☆17Updated 5 months ago
- A collection of awesome and self-documented m4 macros for GNU Autotools☆17Updated 2 months ago
- racket llvm C-API bindings☆17Updated 5 months ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- 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
- A header-only C++ library for writing compiler/interpreter frontends.☆14Updated 3 weeks ago
- Python tools for the K Framework☆13Updated last year
- Code Continuity Analysis Framework☆21Updated 3 months ago
- Visualization tool for analyzing call trees and graphs☆34Updated 2 years ago