jakobmoosbauer / flips
☆11Updated last year
Alternatives and similar repositories for flips:
Users that are interested in flips are comparing it to the libraries listed below
- materials available to the public☆24Updated 4 months ago
- 🚀 Sum of the primes below x☆37Updated 2 years ago
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆11Updated last year
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- 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
- ☆16Updated last year
- ☆21Updated 2 years ago
- ☆31Updated 3 weeks ago
- A Tensor Language☆56Updated 4 years ago
- Custom-Precision Floating-point numbers.☆34Updated 3 months ago
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆38Updated last year
- Library for Polynomial System Solving through Algebraic Methods☆122Updated 3 weeks ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆60Updated last month
- Interval arithmetic for real computation☆22Updated this week
- Classification of combinatorial objects☆16Updated last week
- Python bindings for egg☆48Updated 2 years ago
- Python bindings for Flint and Arb☆135Updated this week
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆32Updated 3 years ago
- Python implementation of the monster group☆42Updated this week
- A standard for floating point accuracy benchmarks☆49Updated last month
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated 3 weeks ago
- Exponent pair database☆46Updated last week
- metamath proof enumerators and other things☆92Updated 8 months ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆30Updated 3 months ago
- The implementation of the Elevate language☆29Updated last month
- This is the 2009 version of TestU01, a software library, implemented in the ANSI C language, and offering a collection of utilities for t…☆71Updated last year
- FreeTikZ☆38Updated 7 years ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆14Updated last year
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆59Updated 2 months ago