A toy superoptimizer for a limited assembly language.
☆60Jun 13, 2023Updated 2 years ago
Alternatives and similar repositories for superoptimizer
Users that are interested in superoptimizer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simple implementation of a GPT (training and inference) in PyTorch.☆13Dec 11, 2023Updated 2 years ago
- Utility that parses stack sizes section from elf objects and displays the preallocated stack size of each function.☆14Jan 15, 2020Updated 6 years ago
- ☆20May 10, 2025Updated last year
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago
- Cavs: An Efficient Runtime System for Dynamic Neural Networks☆15Sep 18, 2020Updated 5 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- [ACL 2026 🔥] CASS: Nvidia to AMD Transpilation with Data, Models, and Benchmark☆34Apr 20, 2026Updated last month
- A Small Combinator-Reduction System☆18Jul 14, 2020Updated 5 years ago
- Disassembly of Sonic Advance 2☆13Feb 23, 2021Updated 5 years ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- ☆12Apr 30, 2024Updated 2 years ago
- WIP Decompilation of Summon Night: Craft Sword Monogatari Hajimari no Ishi (サモンナイト クラフトソード物語 はじまりの石)☆14Jun 2, 2024Updated last year
- Web Browser Engineering☆42Jun 29, 2022Updated 3 years ago
- Type-and-example directed program synthesis using example propagation, as described in Program Synthesis Using Example Propagation.☆14Apr 4, 2023Updated 3 years ago
- One of the most minimal MOS6502 and retro computer emulators!☆22Jan 21, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- small ~1k unzip library☆16Mar 2, 2026Updated 2 months ago
- 2023 Momenti Study - Structure and Interpretation of Computer Programs: Rust Edition☆10Jan 4, 2023Updated 3 years ago
- Decompilation of Inazuma Eleven Strikers☆14Jun 13, 2024Updated last year
- A precise and scalable pointer analysis for LLVM, written in Ascent☆69Mar 1, 2025Updated last year
- Struct-aware fuzzing framework + some fuzzers☆32Apr 13, 2026Updated last month
- Robot Poncots (ロボポン) Sun and Star (Japanese)☆12Apr 26, 2026Updated 3 weeks ago
- An MLIR-based source-to-source automatic differentiation system.☆15Mar 30, 2023Updated 3 years ago
- Disassembly of Fushigi no Dungeon 2: Fuurai no Shiren☆14Jul 13, 2023Updated 2 years ago
- 手を動かせばできるLLVMバックエンド チュートリアル（WIP）☆43May 12, 2022Updated 4 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.
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- ☆11Jan 23, 2020Updated 6 years ago
- Original Joy☆11Dec 17, 2024Updated last year
- ☆11Sep 11, 2021Updated 4 years ago
- 🛠 [WIP] An emulator for Nintendo Entertainment System written in Rust☆13Sep 24, 2020Updated 5 years ago
- Easily identify the current runtime environment (Node.js, browser, Deno, etc.) and its version with this minimal library.☆12Nov 29, 2025Updated 5 months ago
- 疲労困憊していても書ける優しいプログラミング言語のコンパイラ☆11Dec 25, 2025Updated 4 months ago
- 支持GPU全链路加速的全同态加密（FHE）框架☆21Apr 18, 2025Updated last year
- A mechanical Calling-Julia-from-Python library for Python 3.7+ and Julia 1.6+☆12Apr 9, 2026Updated last month
- 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.
- TinyVG example files☆15Dec 18, 2021Updated 4 years ago
- A Rust macro for quickly unwrapping a refutable pattern.☆12Nov 10, 2023Updated 2 years ago
- ☆56Aug 9, 2024Updated last year
- the peachili( Peach + Chili) programming language☆11Feb 2, 2021Updated 5 years ago
- bare minimum chess program☆11Sep 16, 2020Updated 5 years ago
- Polymorphic guarded λ-calculus☆22Jul 17, 2025Updated 10 months ago
- Moe Moe Kyun☆17Oct 29, 2020Updated 5 years ago