Rosa, the real compiler
☆21Jan 31, 2018Updated 8 years ago
Alternatives and similar repositories for rosa
Users that are interested in rosa are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Rigorous Floating-Point Mixed-Precision Tuner☆18May 21, 2020Updated 6 years ago
- ☆17Sep 27, 2022Updated 4 years ago
- Tool for Rigorous Estimation of Round-Off Floating-Point Errors☆38Sep 1, 2024Updated 2 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
- A tuning assistant tool to find a lower floating-point precision that can be used in any part of a program. Precimonious performs a searc…☆39Sep 9, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- a git implementation in rust. yeah, I know..☆12Jun 10, 2016Updated 10 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 7 years ago
- A library for doing constant-time fixed-point numeric operations☆26Nov 6, 2020Updated 6 years ago
- A tool for checking tool output inspired by LLVM's FileCheck☆13Aug 29, 2025Updated last year
- Configurable Runtime Analysis for Floating-point Tuning☆13Jun 10, 2020Updated 6 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆35Jun 8, 2021Updated 5 years ago
- Scalable yet rigorous Floating-point Error Analysis☆11Jul 23, 2025Updated last year
- A tool to transfer permission of files to others in a linux-based environment.☆15Jul 13, 2020Updated 6 years ago
- Benchmarks from the RELEASE project☆13Jun 8, 2016Updated 10 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Play fast and loose with IEEE-754 rewrite RULES☆25Aug 1, 2015Updated 11 years ago
- Sigmoid Numbers backed by IEEE Floats☆17Jul 8, 2017Updated 9 years ago
- Tuning Assistant for Floating point to Fixed point Optimization☆25Jul 30, 2026Updated 3 months ago
- The Leon system for verification, synthesis, repair☆168Mar 18, 2024Updated 2 years ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆29May 26, 2021Updated 5 years ago
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆12Aug 27, 2015Updated 11 years ago
- Purely functional data structures in Idris☆11Sep 24, 2017Updated 9 years ago
- [ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.☆13Jan 5, 2024Updated 2 years ago
- The opensmt solver☆97Updated this week
- 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.
- Functional experiments in Scala☆21Apr 24, 2017Updated 9 years ago
- Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/☆23Aug 25, 2017Updated 9 years ago
- a simple infoscreen system☆12Aug 25, 2025Updated last year
- A Emacs major mode for editing Hack code☆15Feb 7, 2026Updated 9 months ago
- prototyping logic programming in Scala☆41Mar 25, 2022Updated 4 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆30Oct 31, 2026Updated last week
- ☆20Jun 1, 2024Updated 2 years ago
- simple probabilistic programming in Scheme☆10Sep 23, 2013Updated 13 years ago
- Some experiments with SMT solvers and GIMPLE IR☆83Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Cinder Block for iPod Library Access☆12Apr 29, 2011Updated 15 years ago
- A mode for instant JavaScript eval in Emacs☆10Nov 16, 2013Updated 12 years ago
- Plugin for rustc to dump MIR in JSON format☆16Updated this week
- A Gradual Dependently-typed Language☆14Jun 26, 2019Updated 7 years ago
- A tunnel-boring library☆12Feb 24, 2018Updated 8 years ago
- Dynamic low-poly WebGL terrain demo☆14Sep 21, 2013Updated 13 years ago
- LaTeX Style file to use for typesetting maths in unicode with XeLaTeX☆15Feb 7, 2022Updated 4 years ago