jakobmoosbauer / flips
☆10Updated last year
Alternatives and similar repositories for flips:
Users that are interested in flips are comparing it to the libraries listed below
- ☆22Updated last year
- This repository contains the Core and Extended source files of the Standard Library of the SaC programming language☆14Updated last week
- Code generation tool to generate mathematical libraries☆55Updated 10 months 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
- J Language Source Code. Livestream links ⬇️☆38Updated 2 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated last year
- ☆16Updated last year
- LinBox - C++ library for exact, high-performance linear algebra☆84Updated last month
- Python bindings for the egg-smol rust library☆67Updated last week
- Custom-Precision Floating-point numbers.☆29Updated last week
- A standard for floating point accuracy benchmarks☆46Updated last month
- C++ compiler☆26Updated 9 months ago
- Chapel HyperGraph Library (CHGL) - HPC-class Hypergraphs in Chapel☆29Updated 4 years ago
- Basic Polynomial Algebra Subprograms☆15Updated 3 years ago
- MimIR is my Intermediate Representation☆51Updated last week
- Rutgers APL correctly rounded math library☆28Updated 3 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆80Updated last year
- Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.☆68Updated 3 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- LLM inference in Fortran☆55Updated 7 months ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆19Updated last month
- Python bindings for egg☆46Updated 2 years ago
- Sorting with Singeli☆11Updated last month
- Interval arithmetic for real computation☆21Updated this week
- TTG: Template Task Graph C++ API☆18Updated last week
- Classification of combinatorial objects☆16Updated 2 weeks ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆47Updated 9 years ago
- A library for code transformations with guaranteed legality☆14Updated this week
- embedding MLIR in LEAN☆47Updated 7 months ago
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated last month