☆55Sep 3, 2026Updated last month
Alternatives and similar repositories for daisy
Users that are interested in daisy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tool for Rigorous Estimation of Round-Off Floating-Point Errors☆37Sep 1, 2024Updated 2 years ago
- Rosa, the real compiler☆21Jan 31, 2018Updated 8 years ago
- A standard for floating point accuracy benchmarks☆67Sep 14, 2026Updated last month
- Rigorous Floating-Point Mixed-Precision Tuner☆18May 21, 2020Updated 6 years ago
- Rigorous Global Branch-and-Bound Optimizer☆25Dec 13, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A cross compiled Scala.js port of JAMA for JVM, JavaScript, and Scala Native projects.☆10Aug 22, 2023Updated 3 years ago
- This is the implementation repository of our incoming ESEC/FSE 2021 paper: Exposing Numerical Bugs in Deep Learning via GradientBack-prop…☆15Oct 16, 2022Updated 4 years ago
- The implementation of an SMTLib dialect for xDSL☆19Apr 16, 2026Updated 6 months ago
- Library for Data Decision Diagrams and Set Decision Diagrams☆16Sep 10, 2025Updated last year
- Files used for the evaluation of uiCA☆19Dec 14, 2022Updated 3 years ago
- ☆10Jul 9, 2020Updated 6 years ago
- Enclosures of real-valued functions in Julia☆23Updated this week
- ☆15Aug 19, 2025Updated last year
- A framework to make C memory safe☆13Sep 20, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Code generation tool to generate mathematical libraries☆62Oct 15, 2025Updated last year
- ☆23Apr 17, 2023Updated 3 years ago
- Implementation of the RISE language☆14Oct 28, 2020Updated 6 years ago
- Synthesis of loop-free programs☆25Oct 22, 2026Updated last week
- GNU MPFR Java Bindings☆11Nov 2, 2021Updated 4 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆22Jul 19, 2016Updated 10 years ago
- coreStar is a symbolic execution engine for analysis and verification with separation logic☆25Jul 3, 2017Updated 9 years ago
- ☆10Aug 18, 2025Updated last year
- Library for exact real number computations☆41Apr 5, 2015Updated 11 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- XML representation of the x86 instruction set☆30Feb 15, 2026Updated 8 months ago
- Static analysis of a parallel Scheme☆18Jun 3, 2014Updated 12 years ago
- A Valgrind tool for Herbie☆98Oct 25, 2022Updated 4 years ago
- A template repository using Scala 3, Next.js, scalajs-react, and showcasing code sharing between the front end and the JVM☆31Oct 26, 2021Updated 5 years ago
- Random variate generation library in C☆10Oct 21, 2026Updated last week
- FLOPS: Formalization in the Lean Theorem Prover of the P3109 Standard☆22Jul 28, 2026Updated 3 months ago
- An implementation of the clustering algorithm k-means in J.☆13Nov 28, 2014Updated 11 years ago
- pLiner is a framework that helps programmers identify locations in the source of numerical code that are highly affected by compiler opti…☆17Oct 27, 2023Updated 3 years ago
- High-Level Nets Blaster for the Model-Checking Contest☆12Jan 18, 2026Updated 9 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆19Oct 18, 2026Updated last week
- benchmarking positional population count☆18Oct 19, 2025Updated last year
- facade for using WALA from Scala☆14Mar 29, 2017Updated 9 years ago
- Fast Parser Combinators☆27Feb 1, 2015Updated 11 years ago
- BIOS-based boot menu and loader☆16Nov 24, 2016Updated 9 years ago
- Proof-of-concept code to reconstruct the GUI of a Xen guest running Windows☆14Sep 26, 2021Updated 5 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago