☆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 last year
- IREE compiler and runtime for Snitch☆15May 14, 2026Updated 4 months ago
- Repository for an article called "Fast MiniMax Polynomial Approximations of Sine and Cosine"☆17Mar 8, 2019Updated 7 years ago
- Driving Snax with MLIR☆25Apr 22, 2026Updated 5 months ago
- A modern Emacs major mode for editing AsciiDoc files, powered by TreeSitter☆25Jun 12, 2026Updated 3 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☆35Sep 1, 2024Updated 2 years ago
- MLIR based Tiny Graph Compiler [dev-stage]☆20Nov 22, 2024Updated last year
- Rigorous Global Branch-and-Bound Optimizer☆25Dec 13, 2024Updated last year
- FLOPS: Formalization in the Lean Theorem Prover of the P3109 Standard☆22Jul 28, 2026Updated last month
- VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations☆33Updated this week
- An MLIR to Native Code generator☆16Jan 3, 2024Updated 2 years ago
- Implementation of core-expansion algorithm☆12Jul 24, 2026Updated 2 months ago
- The implementation of my undergraduate thesis: "Bleach: A programming language aimed for teaching Compilers."☆35Aug 27, 2026Updated last month
- ☆27Mar 13, 2025Updated last year
- 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.
- 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
- Accompanying repository for the DAFx24 paper "Interpolation Filters for Antiderivative Antialiasing"☆12Sep 5, 2024Updated 2 years ago
- use BSON and MongoDB in pure Swift☆11Sep 15, 2026Updated last week
- Code for AUC Mu☆14Oct 17, 2019Updated 6 years ago
- A Swift wrapper around inotify on Linux☆16Updated this week
- ASCII art mathematics☆11Sep 26, 2020Updated 6 years ago
- ☆19May 7, 2026Updated 4 months 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.
- Luminique is a C bytecode interpreted language with a Javascript like syntax.☆11Oct 16, 2024Updated last year
- A python implementation of delta debugging tool.☆27Feb 9, 2024Updated 2 years ago
- ASTER 💫 : Assembly Tooling and Representations☆34Jul 1, 2026Updated 2 months ago
- ☆14Dec 27, 2016Updated 9 years ago
- 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
- Thunderbird-compatible character encoding decoding for email in Rust☆15Jul 21, 2024Updated 2 years ago
- ☆17Sep 16, 2026Updated last week
- An algorithm for fast 2D pattern-matching with wildcards.☆20Jul 30, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- fast .NET library for factor polynomials over various fields.☆10Jun 16, 2022Updated 4 years ago
- Soul - an esoteric concatenative language☆12Apr 30, 2024Updated 2 years ago
- Java codegen for the IHE ITI profiles☆18Updated this week
- Implementations of the Are-we-fast-yet benchmark suite in Oberon, C++, C, Pascal, Micron and Luon☆75Aug 19, 2026Updated last month
- Multiplying... backward?☆14Jul 22, 2020Updated 6 years ago
- zero dependency plugin to export notes to html inside obsidian.md☆11Sep 10, 2025Updated last year
- K Junior is an MIT licensed open source array language written by Arthur Whitney.☆24Jun 1, 2024Updated 2 years ago