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
☆13Updated 11 months ago
Related projects: ⓘ
- RLibm for 32-bit representations (float and posit32)☆61Updated 3 years ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆12Updated 6 years ago
- Proxy LLVM calls into Rust own shared library in runtime☆33Updated 5 months ago
- Animations for Elementary-Affine-Net interactions☆11Updated 5 years ago
- sorear's Metamath system engine - version 3 Rust☆22Updated last year
- Pull your compiler up with abstract bootstraps.☆30Updated last year
- Regionalized Value State Dependence Graph written in Rust☆9Updated 4 years ago
- Parallelized 3D FDTD Schrödinger Equation Solver☆21Updated 6 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆28Updated 2 years ago
- Rutgers APL correctly rounded math library☆28Updated 3 years ago
- PL Reading Group Website☆14Updated last year
- MinCaml Compiler implementation by Haskell☆11Updated 12 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆63Updated 4 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆14Updated 6 years ago
- Formally verified implementation of Alive in Lean☆33Updated last year
- A (parametrized) Rust SAT solver originally based on MiniSat☆31Updated 3 months ago
- Spatial layout specifications for memory management systems.☆19Updated 4 years ago
- benchmarking e-graph extraction☆27Updated 3 weeks ago
- Superposition prover☆15Updated last year
- Easy SMT solver interaction☆24Updated last month
- The Cubicle model checker☆14Updated 6 months ago
- KORE to llvm translation☆34Updated this week
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆15Updated 2 years ago
- The Higher ORder INtermediate representation - next gen☆46Updated 4 months ago
- Rust crate which compiles minisat and provides an interface (C/C++ compiler required)☆10Updated 2 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 9 months ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 3 years ago
- egraphs-good website☆15Updated last week
- Some variations on Lemire's Fast Random Integer Generation in an Interval☆15Updated 4 years ago
- Rust bindings to the Halide runtime☆19Updated last year