jakobmoosbauer / flipsLinks
☆17Updated 3 weeks ago
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☆15Updated 4 months ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆63Updated 3 months ago
- Event Modeling Risk Assessment using Linked Diagrams (EMRALD) is a software tool developed at INL for researching the capabilities of dyn…☆28Updated 2 weeks ago
- TTG: Template Task Graph C++ API☆26Updated last month
- Implementation of a tropical sampling algorithm for Euclidean parametric Feynman integrals☆13Updated 4 months ago
- LinBox - C++ library for exact, high-performance linear algebra☆97Updated 2 months ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- C++ Header-Only Library for High-Performance Tensor-Vector Multiplication☆23Updated 2 months ago
- Tensor Contraction Code Generator☆39Updated 8 years ago
- Basic Polynomial Algebra Subprograms☆15Updated 5 months ago
- Program Generator for Small-Scale Linear Algebra Applications☆31Updated 7 years ago
- Python implementation of the monster group☆55Updated this week
- 🚀 Sum of the primes below x☆39Updated 3 years ago
- Code generation tool to generate mathematical libraries☆58Updated 2 months ago
- Test suite for C/C++/Fortran compilers developed by Fujitsu☆35Updated last month
- Python bindings for Flint and Arb☆141Updated this week
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆44Updated last month
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated 2 years ago
- BLAS++ is a C++ wrapper around CPU and GPU BLAS (basic linear algebra subroutines), developed as part of the SLATE project.☆91Updated 2 months ago
- Recursive LAPACK Collection☆44Updated 3 years ago
- Givaro - C++ library for arithmetic and algebraic computations☆53Updated 3 months ago
- parallel graph partitioning using recursive spectral bisection (RSB)☆22Updated 6 months ago
- PolyLib official git.☆11Updated 2 weeks ago
- ☆37Updated last month
- Custom-Precision Floating-point numbers.☆41Updated last week
- floating-point errors checker☆65Updated 2 weeks ago
- Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.☆72Updated 4 months ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆14Updated 4 months ago