Compile a subset of the Python AST to x64-64 assembler
☆144Apr 21, 2024Updated last year
Alternatives and similar repositories for pyast64
Users that are interested in pyast64 are comparing it to the libraries listed below
Sorting:
- A basic x86-64 JIT compiler written from scratch in stock Python☆235Apr 21, 2018Updated 7 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Jun 6, 2020Updated 5 years ago
- Self-compiling compiler of a Python subset. Just enough Python to Python in Python.☆46Feb 21, 2023Updated 3 years ago
- Monoidal stack machine☆10Nov 25, 2018Updated 7 years ago
- An 8086 emulator written from scratch in C by me (with some help from the tumblrcode community)☆16Nov 4, 2012Updated 13 years ago
- Minimal LISP Compiler for x86_64☆15Feb 22, 2022Updated 4 years ago
- "Toy" SMT Solver for Educational Purposes☆20Apr 17, 2013Updated 12 years ago
- Functions Catalog☆28Jul 10, 2019Updated 6 years ago
- A toy c compiler written in python☆11Jan 9, 2024Updated 2 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆30Jul 9, 2024Updated last year
- x86-64 assembly as a Haskell EDSL☆36Sep 16, 2010Updated 15 years ago
- Python2 compiler package ported to Python3. Compiles Python AST (as produced by the "ast" module) to bytecode assembly and code objects.☆42Jan 6, 2021Updated 5 years ago
- ☆16Jul 3, 2023Updated 2 years ago
- A simple virtual machine w/constant folding implemented in Python☆118Oct 8, 2020Updated 5 years ago
- The most minimal C you can do real work in☆16May 8, 2022Updated 3 years ago
- Ask for solutions.☆19Aug 5, 2019Updated 6 years ago
- An AST for Python code generation, in Python☆32Feb 21, 2026Updated 2 weeks ago
- Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.☆15Feb 9, 2016Updated 10 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆25Oct 22, 2023Updated 2 years ago
- A Python-like systems programming language☆84Feb 8, 2016Updated 10 years ago
- A different approach to an E-graph library☆28May 30, 2025Updated 9 months ago
- Code written while working through the book LISP in Small Pieces☆27Feb 16, 2014Updated 12 years ago
- Sild is a lisp dialect☆43Nov 17, 2025Updated 3 months ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- A naive θ..θ programming language☆27Oct 23, 2018Updated 7 years ago
- Adapted source code of Niklaus Wirth's "Compiler Construction" book☆20May 11, 2023Updated 2 years ago
- A RISC-V CPU (Outdated: using priviledge v1.7)☆26Apr 6, 2019Updated 6 years ago
- ☆24Feb 26, 2023Updated 3 years ago
- HOPE: A Python Just-In-Time compiler for astrophysical computations☆383Jun 10, 2021Updated 4 years 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
- PilOS - A Stand-Alone Operating System☆14Aug 1, 2017Updated 8 years ago
- A simple ML dialect☆11Jan 2, 2017Updated 9 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 7 years ago
- A Python JIT compiler☆12May 29, 2019Updated 6 years ago
- AIxCC: automated vulnerability repair via LLMs, search, and static analysis☆11Jul 16, 2024Updated last year
- A very basic Lisp + Erlang-style processes, on a virtual machine☆10Aug 24, 2016Updated 9 years ago
- SECD machine and Lispkit Lisp compiler, in Python☆14Oct 25, 2017Updated 8 years ago
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Apr 19, 2025Updated 10 months ago
- x86-64 assembler embedded in Python☆2,049Sep 25, 2023Updated 2 years ago