Pull your compiler up with abstract bootstraps.
☆31Dec 15, 2022Updated 3 years ago
Alternatives and similar repositories for abstraps
Users that are interested in abstraps are comparing it to the libraries listed below
Sorting:
- metaprogramming for Julia arrays☆13Sep 26, 2020Updated 5 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆25Oct 22, 2023Updated 2 years ago
- Rust bindings to the MLIR C API.☆70Feb 25, 2026Updated last week
- Compiler with automatic differentiation☆49Oct 18, 2023Updated 2 years ago
- A collection of Kanren implementations in Julia☆24Oct 14, 2025Updated 4 months ago
- (experimental) tracing and abstract interpretation with SymbolicUtils.jl☆22Mar 7, 2021Updated 4 years ago
- Deprecated. Please use Git.jl instead: https://github.com/JuliaVersionControl/Git.jl☆22Mar 25, 2021Updated 4 years ago
- Adds a macro (`@api`) to help manage a consistent API between multiple packages☆10May 18, 2021Updated 4 years ago
- Monad implementation in Julia☆13Dec 14, 2020Updated 5 years ago
- Carry your own cache.☆22Aug 29, 2020Updated 5 years ago
- collective tools for Julia SSA IR.☆29Nov 30, 2023Updated 2 years ago
- 🦜 yair - a high-level compiler IR entirely written in Rust☆38Dec 11, 2021Updated 4 years ago
- Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns☆34Jul 8, 2024Updated last year
- E.T. Jaynes home phone.☆45Jan 11, 2021Updated 5 years ago
- ☆11Apr 17, 2021Updated 4 years ago
- A library for creating and patching binary diffs. Based on bsdiff.☆11Nov 23, 2014Updated 11 years ago
- A formally verified bug finder☆14Nov 25, 2024Updated last year
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Feb 10, 2026Updated 3 weeks ago
- Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.☆12Jul 12, 2022Updated 3 years ago
- The Code Tracer☆48Jan 30, 2022Updated 4 years ago
- Julia Channels with defined length: Buffered and threaded iterators for machine learning.☆13Dec 13, 2020Updated 5 years ago
- WIP Java decompiler☆24Dec 3, 2025Updated 3 months ago
- Extensible multiple-dispatch style pattern matching in julia☆13Dec 26, 2019Updated 6 years ago
- TensaLang is a Tensor-first programming language, compiler, and runtime that let you write the Model’s inference engine (e.g. LLMs) and s…☆72Feb 20, 2026Updated last week
- A simple interpreter featuring a tracing JIT☆16Mar 28, 2011Updated 14 years ago
- A utility library to bridge llvm and mlir gaps.☆15Jan 8, 2025Updated last year
- Proof of concept for type system with unions, intersections and complements.☆15Apr 21, 2023Updated 2 years ago
- Small powerful micro scripting language <1K SLOC☆62Oct 5, 2025Updated 5 months ago
- Collection of layers that can perform arithmetic operations☆12Aug 17, 2021Updated 4 years ago
- ☆18Feb 24, 2026Updated last week
- A random generator of Lua programs☆12Feb 21, 2026Updated last week
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- software archaeology of reflective towers of interpreters☆17Jun 6, 2025Updated 8 months ago
- reverse engineering branch predictors☆18Feb 28, 2016Updated 10 years ago
- experimental computational medium and supporting tools☆23Feb 25, 2026Updated last week
- An Abstract Reasoning Logic Interface☆15Oct 16, 2020Updated 5 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆66Oct 31, 2021Updated 4 years ago
- Full-featured traits in Julia. Without full features how dare I say this?☆66Dec 22, 2023Updated 2 years ago
- Website for CS 265☆33Dec 27, 2024Updated last year