☆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
- IREE compiler and runtime for Snitch☆15May 14, 2026Updated 3 months ago
- Driving Snax with MLIR☆25Apr 22, 2026Updated 3 months ago
- A modern Emacs major mode for editing AsciiDoc files, powered by TreeSitter☆23Jun 12, 2026Updated 2 months ago
- PL syntax macros.☆21Apr 24, 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.
- 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
- SJTU CS138/CS337/CS339/EE204/SE305/CS308/CS214☆13Jan 8, 2019Updated 7 years ago
- A sampling-based heap memory profiler for WebAssembly on JavaScript engines.☆16Nov 25, 2025Updated 8 months ago
- FLOPS: Formalization in the Lean Theorem Prover of the P3109 Standard☆18Jul 28, 2026Updated 3 weeks ago
- Arch Linux ARM for Xilinx Zynq UltraScale+ devices☆13Jul 21, 2024Updated 2 years ago
- VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations☆34Jun 18, 2026Updated 2 months ago
- Improve user experience when scrolling window.☆14Jun 19, 2026Updated last month
- 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 MLIR to Native Code generator☆15Jan 3, 2024Updated 2 years ago
- Implementation of core-expansion algorithm☆12Jul 24, 2026Updated 3 weeks ago
- The implementation of my undergraduate thesis: "Bleach: A programming language aimed for teaching Compilers."☆35Jul 31, 2026Updated 2 weeks ago
- ☆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
- Oxocarbon port for Jetbrains IDE's☆14Nov 30, 2025Updated 8 months ago
- use BSON and MongoDB in pure Swift☆11Aug 7, 2026Updated last week
- 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.
- Avoiding merge conflicts by making invalid collaboration states unrepresentable.☆25May 18, 2026Updated 3 months ago
- ☆23Jul 13, 2026Updated last month
- 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 5 years ago
- ☆19May 7, 2026Updated 3 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 last month
- Release of PocketSDR NEO* edition schematics, PCB, and BOM in KICAD 7.0 format.☆13Jun 14, 2024Updated 2 years ago
- 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.
- Sample code for Linux ALSA SoC sound card device driver.☆14Jun 1, 2017Updated 9 years ago
- ☆14Dec 27, 2016Updated 9 years ago
- Swift bindings for libgit2.☆21Jun 23, 2023Updated 3 years ago
- An implementation of the Levenberg-Marquardt algorithm☆18Nov 5, 2019Updated 6 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
- Python interface for ALSA MIDI sequencer☆14Mar 31, 2026Updated 4 months ago