egg is a flexible, high-performance e-graph library
☆13Apr 5, 2024Updated last year
Alternatives and similar repositories for egg
Users that are interested in egg are comparing it to the libraries listed below
Sorting:
- Connecting bv_decide to SMTLIB.☆13Jan 5, 2026Updated last month
- cpplox is a Lox interpreter & LLVM compiler written in C++☆18Jun 28, 2024Updated last year
- ☆28Nov 10, 2025Updated 3 months ago
- Extends the QTabWidget widget to have detachable/reattachable tabs.☆18Nov 25, 2024Updated last year
- Standalone API for Binary Ninja's LLIL☆21Aug 6, 2024Updated last year
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆21Dec 30, 2023Updated 2 years ago
- An experiment in using DuckDB for a datalog / egg☆27Oct 11, 2023Updated 2 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆25Oct 22, 2023Updated 2 years ago
- ☆25Aug 7, 2023Updated 2 years ago
- ULPatch is open source user space live patch tool.☆13Jan 11, 2026Updated last month
- A ridiculous Python interpreter written—from scratch—in Rust.☆25Updated this week
- the Bovine JVM☆28May 7, 2025Updated 9 months ago
- ☆29Sep 27, 2019Updated 6 years ago
- Use PostgreSQL's planner hook to open a side entrance through which we can pass plan trees for immediate execution☆27Jun 10, 2025Updated 8 months ago
- A from-scratch neural network and transformers library, with speeds rivaling PyTorch☆10Mar 16, 2025Updated 11 months ago
- Self-hosting C toolchain, from scratch☆36Feb 7, 2025Updated last year
- A blueprint for next-gen AI. Project Infinity uses a token-efficient, Codified Agent Protocol to create specialized, secure, and imaginat…☆25Oct 2, 2025Updated 5 months ago
- Java decompilation & deobfuscation lab - dockerized toolset☆15Feb 15, 2026Updated 2 weeks ago
- Disarm — Fast AArch64 Decode/Encoder☆45Dec 21, 2024Updated last year
- A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler☆43Feb 23, 2026Updated last week
- A thread dump analyzer tool running on your browser or in your JVM that generates DOT documents out of `jstack` outputs.☆10Jul 10, 2024Updated last year
- 🎮 Real-time game subtitle translator with AI-powered OCR. Context-aware translation for 20+ languages. Free offline models + dirt cheap …☆32Feb 20, 2026Updated last week
- Simple conservative GC using mimalloc☆41Nov 17, 2022Updated 3 years ago
- A profiling tool to peek and profile the memory or cpu usage of a process☆12Jan 20, 2024Updated 2 years ago
- Profitable MT5 Expert Advisors☆21Feb 22, 2026Updated last week
- The set of released emails of Jeffrey Epstein processed into an Obsidian Vault using the Obsidian Importer plugin an Claude Code.☆25Nov 15, 2025Updated 3 months ago
- Typed binary parsing for typescript☆16Sep 4, 2023Updated 2 years ago
- ☆15Feb 6, 2026Updated 3 weeks ago
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆22Jul 28, 2025Updated 7 months ago
- Smart Sessions with EIP-7702 EOA☆16Nov 15, 2024Updated last year
- ☆12May 24, 2025Updated 9 months ago
- Statistics from our binary transformation framework☆11Jan 16, 2025Updated last year
- A package to simplify integration of language models into Unity.☆16Oct 14, 2025Updated 4 months ago
- Latex template for VNU-UET Student thesis in Vietnamese.☆13Mar 18, 2023Updated 2 years ago
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆52Jul 3, 2025Updated 7 months ago
- CERE: Codelet Extractor and REplayer☆40Sep 27, 2023Updated 2 years ago
- A symbolic execution engine for LLVM IR☆51Apr 25, 2022Updated 3 years ago
- Specialized hashmap for u64 keys☆45Oct 26, 2025Updated 4 months ago
- x86 dynamic recompiler library☆58Jan 4, 2026Updated last month