jakobmoosbauer / flipsLinks
☆14Updated last month
Alternatives and similar repositories for flips
Users that are interested in flips are comparing it to the libraries listed below
Sorting:
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆11Updated 2 years ago
- feyntrop integrates Feynman graphs using tropical sampling☆12Updated 2 months ago
- Event Modeling Risk Assessment using Linked Diagrams (EMRALD) is a software tool developed at INL for researching the capabilities of dyn…☆27Updated 2 weeks ago
- TTG: Template Task Graph C++ API☆26Updated 3 months ago
- floating-point errors checker☆60Updated this week
- Implementation of a tropical sampling algorithm for Euclidean parametric Feynman integrals☆12Updated 2 months ago
- LinBox - C++ library for exact, high-performance linear algebra☆96Updated last month
- Custom-Precision Floating-point numbers.☆38Updated 9 months ago
- Recursive LAPACK Collection☆44Updated 3 years ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Updated last month
- Code generation tool to generate mathematical libraries☆56Updated 7 months ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- 🚀 Sum of the primes below x☆38Updated 3 years ago
- Evaluate the numerical accuracy of an application (mirror of the Gitlab main repo).☆13Updated last year
- Automates using spack to build and deploy software☆28Updated this week
- Department of Energy Standard Utility Library☆32Updated this week
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- A dynamic analysis tool to detect floating-point errors in HPC applications.☆36Updated 2 weeks ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆62Updated 2 weeks ago
- Basic Polynomial Algebra Subprograms☆15Updated 2 months ago
- Official BOLT Repository☆31Updated last year
- ☆37Updated 2 weeks ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆63Updated last month
- C++ library for graph ordering☆14Updated 5 years ago
- C++ Header-Only Library for High-Performance Tensor-Vector Multiplication☆22Updated 9 months ago
- Error-Free Transformations as building blocks for compensated algorithms☆15Updated 2 years ago
- Accelerated demonstrator of electromagnetic Particle Transport☆26Updated 2 weeks ago
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆42Updated 2 months ago
- Challenging SAT benchmarks for matrix multiplication☆11Updated 3 years ago