☆21Jul 12, 2023Updated 3 years ago
Alternatives and similar repositories for megalibm
Users that are interested in megalibm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A platform for exploring floating-point expressions☆27Sep 10, 2025Updated 11 months ago
- Interval arithmetic for real computation☆26Feb 7, 2026Updated 7 months ago
- IREE compiler and runtime for Snitch☆15May 14, 2026Updated 3 months ago
- Driving Snax with MLIR☆25Apr 22, 2026Updated 4 months ago
- A modern Emacs major mode for editing AsciiDoc files, powered by TreeSitter☆25Jun 12, 2026Updated 2 months 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.
- Tool for Rigorous Estimation of Round-Off Floating-Point Errors☆34Sep 1, 2024Updated 2 years ago
- PL syntax macros.☆21Apr 24, 2026Updated 4 months ago
- MLIR based Tiny Graph Compiler [dev-stage]☆20Nov 22, 2024Updated last year
- A debugger to detect and diagnose numerical errors in floating point programs☆12Jun 19, 2022Updated 4 years ago
- Rigorous Global Branch-and-Bound Optimizer☆25Dec 13, 2024Updated last year
- No frills static page generator for Git repositories☆25Aug 26, 2026Updated last week
- Example ESP32 app using rm67162 OLED display☆13Jul 5, 2026Updated 2 months ago
- FLOPS: Formalization in the Lean Theorem Prover of the P3109 Standard☆19Jul 28, 2026Updated last month
- Arch Linux ARM for Xilinx Zynq UltraScale+ devices☆13Jul 21, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Improve user experience when scrolling window.☆14Jun 19, 2026Updated 2 months ago
- An MLIR to Native Code generator☆16Jan 3, 2024Updated 2 years ago
- Implementation of core-expansion algorithm☆12Jul 24, 2026Updated last month
- The implementation of my undergraduate thesis: "Bleach: A programming language aimed for teaching Compilers."☆35Aug 27, 2026Updated last week
- ☆27Mar 13, 2025Updated last year
- Linux curses application for BK Precision 1685B, 1687B, and 1688B bench power supplies☆11Jun 13, 2019Updated 7 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2018☆23May 9, 2018Updated 8 years ago
- Adaptive sampling of parametric and implicit curves☆13Nov 12, 2021Updated 4 years ago
- Talk to PMBus devices via I2C from userspace☆11Jul 4, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Avoiding merge conflicts by making invalid collaboration states unrepresentable.☆25May 18, 2026Updated 3 months ago
- ☆24Jul 13, 2026Updated last month
- OFFICAL A.S.S REPO☆17Aug 24, 2025Updated last year
- Code for AUC Mu☆14Oct 17, 2019Updated 6 years ago
- ASCII art mathematics☆11Sep 26, 2020Updated 5 years ago
- ☆19May 7, 2026Updated 4 months ago
- Luminique is a C bytecode interpreted language with a Javascript like syntax.☆11Oct 16, 2024Updated last year
- ASTER 💫 : Assembly Tooling and Representations☆34Jul 1, 2026Updated 2 months ago
- Release of PocketSDR NEO* edition schematics, PCB, and BOM in KICAD 7.0 format.☆13Jun 14, 2024Updated 2 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.
- An implementation of the Levenberg-Marquardt algorithm☆18Nov 5, 2019Updated 6 years ago
- ☆17Sep 5, 2021Updated 5 years ago
- Easy to use WiFi tools for the ESP32. Graphical interface provided via IMGUI☆14Mar 2, 2023Updated 3 years ago
- Framework for game-like applications☆14Jul 16, 2025Updated last year
- A simple micro ROS Terminal UI interface running on the RT-Thread HMI-Board.☆14Oct 25, 2023Updated 2 years ago
- A fast implementation of log() and exp()☆58Dec 14, 2022Updated 3 years ago
- The implementation of an SMTLib dialect for xDSL☆19Apr 16, 2026Updated 4 months ago