jakobmoosbauer / flipsLinks
☆18Updated 2 months 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
- Event Modeling Risk Assessment using Linked Diagrams (EMRALD) is a software tool developed at INL for researching the capabilities of dyn…☆28Updated last week
- feyntrop integrates Feynman graphs using tropical sampling☆15Updated 6 months ago
- Basic Polynomial Algebra Subprograms☆15Updated 6 months ago
- LinBox - C++ library for exact, high-performance linear algebra☆97Updated 3 months ago
- TTG: Template Task Graph C++ API☆26Updated 2 months ago
- floating-point errors checker☆65Updated last week
- Implementation of a tropical sampling algorithm for Euclidean parametric Feynman integrals☆13Updated 6 months ago
- Custom-Precision Floating-point numbers.☆41Updated last week
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated 2 years ago
- Department of Energy Standard Utility Library☆33Updated last week
- Automates using spack to build and deploy software☆29Updated last month
- Python implementation of the monster group☆57Updated last month
- Code generation tool to generate mathematical libraries☆58Updated 3 months ago
- Test suite for C/C++/Fortran compilers developed by Fujitsu☆36Updated 3 months ago
- Givaro - C++ library for arithmetic and algebraic computations☆53Updated 5 months ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆63Updated 3 weeks ago
- Programmable JIT Compilation and Optimization for C/C++ using LLVM☆41Updated this week
- 🚀 Sum of the primes below x☆39Updated 3 years ago
- Compiler agnostic metaprogramming library providing concepts, type operations and tuples for C++ and cuda☆97Updated 2 months ago
- Evaluate the numerical accuracy of an application (mirror of the Gitlab main repo).☆14Updated 2 years ago
- A compile-time Computer Algebra System (CAS) library (with some geometry)☆21Updated 2 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.☆71Updated 5 months ago
- Counter-based random number generators for C, C++ and CUDA.☆115Updated last year
- Challenging SAT benchmarks for matrix multiplication☆11Updated 4 years ago
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆46Updated 2 months ago
- C++ Header-Only Library for High-Performance Tensor-Vector Multiplication☆23Updated 3 months ago