Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023
☆21Dec 30, 2023Updated 2 years ago
Alternatives and similar repositories for python-dsls
Users that are interested in python-dsls are comparing it to the libraries listed below
Sorting:
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆25Oct 22, 2023Updated 2 years ago
- Tiny parser combinators library written in Python.☆18May 20, 2025Updated 9 months ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 11 months ago
- ☆16Feb 1, 2026Updated 3 weeks ago
- Interpreter for a small subset of the Haskell programming language☆16Dec 11, 2025Updated 2 months ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- A programming language with first-class modules and algebraic effects.☆14Dec 3, 2022Updated 3 years ago
- A formally verified bug finder☆14Nov 25, 2024Updated last year
- Материалы к серии докладов о советской компиляторной школе☆12Aug 8, 2024Updated last year
- ☆14Jun 14, 2025Updated 8 months ago
- (Hopefully) a compiler for my first language named "Pie"☆22Feb 7, 2026Updated 3 weeks ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Feb 10, 2026Updated 2 weeks ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆16Feb 10, 2026Updated 2 weeks ago
- McLulang: The message is the language☆12Aug 23, 2024Updated last year
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆32Feb 3, 2026Updated 3 weeks ago
- egg is a flexible, high-performance e-graph library☆13Apr 5, 2024Updated last year
- A byte code specification and a JIT-compiler written in Assembly.☆14Jan 9, 2025Updated last year
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Aug 14, 2024Updated last year
- ☆17Mar 5, 2023Updated 2 years ago
- E-Graph library☆21Apr 4, 2024Updated last year
- 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
- An experimental optimizing compiler for Bril using egglog☆86Feb 13, 2026Updated 2 weeks ago
- Slog 1.0☆47Jun 11, 2024Updated last year
- Experiments about intermediate representations in compilers☆28Aug 24, 2012Updated 13 years ago
- ☆18Jul 13, 2021Updated 4 years ago
- Tiny Forth-like language implementation☆25Apr 14, 2024Updated last year
- Printing a book with HTML/CSS☆20Nov 16, 2019Updated 6 years ago
- Dynamically discover the commands used to create a piece of software☆58Oct 24, 2025Updated 4 months ago
- A small, statically typed, low-level programming language.☆24Sep 8, 2025Updated 5 months ago
- Static range analysis for the LLVM compiler infrastructure.☆56Oct 8, 2019Updated 6 years ago
- ☆24Feb 26, 2023Updated 3 years ago
- Relational programming for OCaml (unreleased)☆24Jun 6, 2022Updated 3 years ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆108May 19, 2022Updated 3 years ago
- EeZee Language - Compiler Engineering Basics☆36Updated this week
- Minimalistic dynamically-typed programming language for didactic purposes.☆29Aug 13, 2022Updated 3 years ago
- Cyclic theorem prover for equalitional reasoning using egraphs☆27Oct 24, 2023Updated 2 years ago
- A minimal in-place WebAssembly interpreter, written in Rust, almost without use of external dependencies☆35Updated this week
- Updates DWARF debug sections and ELF symbols with info obtained through disassembly☆30Jul 9, 2024Updated last year
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆73Feb 12, 2026Updated 2 weeks ago