rutgers-apl / rlibm-all
RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point representations and rounding modes
☆14Updated last year
Alternatives and similar repositories for rlibm-all:
Users that are interested in rlibm-all are comparing it to the libraries listed below
- RLibm for 32-bit representations (float and posit32)☆61Updated 3 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- Rutgers APL correctly rounded math library☆28Updated 3 years ago
- An LLVM interface for Lean 4. (WIP)☆18Updated last year
- benchmarking e-graph extraction☆35Updated 2 months ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆12Updated 6 years ago
- embedding MLIR in LEAN☆47Updated 7 months ago
- DRAT proof processor☆13Updated last year
- KORE to llvm translation☆36Updated last week
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 5 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆15Updated 5 months ago
- Formally verified implementation of Alive in Lean☆35Updated last year
- A Gallina compiler with C++17 as an intermediate representation☆42Updated 3 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆19Updated last year
- Cerberus C semantics☆60Updated this week
- egraphs-good website☆15Updated 3 months ago
- A formalization of first-order logic and Peano's axioms in Python☆20Updated last year
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 3 years ago
- Animation of Yves Lafont's Interaction Combinators☆16Updated 3 years ago
- MimIR is my Intermediate Representation☆55Updated this week
- The Cubicle model checker☆13Updated 10 months ago
- egg is a flexible, high-performance e-graph library☆11Updated 9 months ago
- Memory Management ToolKit☆33Updated 2 weeks ago
- A simple induction and BMC engine.☆23Updated 2 years ago
- sorear's Metamath system engine - version 3 Rust☆23Updated last year
- High level Lean 4 FFI for Rust☆13Updated 10 months ago
- sketches for egg: a flexible, high-performance e-graph library☆26Updated last week
- Superposition prover☆17Updated last year
- Implementation of the RISE language☆14Updated 4 years ago