Rutgers APL correctly rounded math library
☆33Mar 11, 2021Updated 5 years ago
Alternatives and similar repositories for rlibm
Users that are interested in rlibm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- High-Performance Reproducible BLAS using posit arithmetic☆12Mar 16, 2022Updated 4 years ago
- A debugger to detect and diagnose numerical errors in floating point programs☆12Jun 19, 2022Updated 4 years ago
- A combined repository for all RLIBM prototypes☆48Dec 15, 2025Updated 10 months ago
- Packet Language for On-device Warps — a GPU inference compiler and runtime☆29Updated this week
- Presentations, Videos, and Sample Source from Austin LLVM Meetups☆11Jul 23, 2020Updated 6 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.
- Retargetable ML compilers for the twenty-first century!☆13Apr 22, 2025Updated last year
- small, single-header library that adds compile time type safety to C23.☆36Jan 2, 2026Updated 10 months ago
- ☆21Jul 12, 2023Updated 3 years ago
- Information Flow Control (IFC) case study for the QuickChick testing plugin for Coq. Includes verification of testing and some other Coq …☆13Nov 3, 2022Updated 4 years ago
- ☆10Sep 7, 2016Updated 10 years ago
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 4 years ago
- A list of articles outside of the official MLIR docs that I've found useful for learning MLIR☆13Aug 16, 2023Updated 3 years ago
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆18Oct 6, 2023Updated 3 years ago
- 🧻 Unroll for-loops at compile-time.☆12Jul 27, 2021Updated 5 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.
- Library with JIT (Just-in-time) compilation support to optimize performance of small and medium matrix multiplication☆14Apr 27, 2021Updated 5 years ago
- Spatial layout specifications for memory management systems.☆19Sep 2, 2020Updated 6 years ago
- A Coq plugin to disable positivity check, guard check and termination check☆16Nov 2, 2019Updated 7 years ago
- high level wrap of Eigen, the fundamental package for scientific computing with Nim☆14Apr 24, 2019Updated 7 years ago
- Solidity transient storage that's mutable from within a `STATICCALL`☆24May 6, 2025Updated last year
- Lua binding for libexif☆11Jun 10, 2021Updated 5 years ago
- half-precision floating-point☆18Sep 19, 2026Updated last month
- Terminating is exciting☆22Nov 3, 2016Updated 10 years ago
- Salt recipe to automatically secure sshd (and piss off the NSA)☆16Jun 18, 2016Updated 10 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.
- Haskell 2010 Revised Language Report☆25Updated this week
- Automatic generation of haskell functions for querying servant webservices ... in GHCJS!☆13May 15, 2018Updated 8 years ago
- ☆24Sep 19, 2026Updated last month
- A set of utilities for Asynchronous programming in Unity.☆14Jul 10, 2018Updated 8 years ago
- Chiron Framework for PAVT Teaching☆21Mar 19, 2026Updated 7 months ago
- A servant client written for GHCJS☆12Dec 6, 2016Updated 9 years ago
- Clang supporting syntax plugins☆21Dec 12, 2022Updated 3 years ago
- CacheFlow is a Linux kernel module that exposes the contents of the last-level cache on *most* ARM machines.☆18Jun 19, 2024Updated 2 years ago
- ☆27Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- JSON Schema validation☆11Nov 1, 2022Updated 4 years ago
- ☆53Sep 5, 2020Updated 6 years ago
- ☆17Jul 23, 2022Updated 4 years ago
- ☆21Nov 10, 2019Updated 6 years ago
- An Ivory library inspired by Atom☆15Oct 17, 2016Updated 10 years ago
- A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes☆19Dec 22, 2017Updated 8 years ago
- Co-inductive interaction trees provide a way to represent (potentially) non-terminating programs with I/O behavior.☆19Jul 9, 2018Updated 8 years ago