Compile a subset of the Python AST to x64-64 assembler
☆146Apr 21, 2024Updated 2 years ago
Alternatives and similar repositories for pyast64
Users that are interested in pyast64 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A basic x86-64 JIT compiler written from scratch in stock Python☆236Apr 21, 2018Updated 8 years ago
- Self-compiling compiler of a Python subset. Just enough Python to Python in Python.☆46Feb 21, 2023Updated 3 years ago
- A toy c compiler written in python☆12Jan 9, 2024Updated 2 years ago
- Functions Catalog☆28Jul 10, 2019Updated 7 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Jun 6, 2020Updated 6 years ago
- 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.
- "Toy" SMT Solver for Educational Purposes☆20Apr 17, 2013Updated 13 years ago
- A simple virtual machine w/constant folding implemented in Python☆119Oct 8, 2020Updated 5 years ago
- a toolset for autogenerating rust APIs and translating structs☆25May 30, 2018Updated 8 years ago
- My crappy x86 assembler written in Java.☆18Dec 30, 2011Updated 14 years ago
- A tiny 1000 line LLVM-based numeric specializer for scientific Python code.☆412Jan 2, 2022Updated 4 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
- IDAPython compatibility library. idasix aims to create a smooth ida development process and allow a single codebase to function with mult…☆25Aug 2, 2018Updated 7 years ago
- SECD machine and Lispkit Lisp compiler, in Python☆14Oct 25, 2017Updated 8 years ago
- ☆16Jul 3, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- fcatalog idapython client☆27Aug 19, 2016Updated 9 years 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
- How to hack Snap! Build Your Own Blocks☆10Apr 7, 2015Updated 11 years ago
- Pentomino puzzle solver using Python code generation☆23Feb 14, 2018Updated 8 years ago
- Kaleidoscope using Python and llvmlite☆31Sep 7, 2016Updated 9 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
- Ask for solutions.☆19Aug 5, 2019Updated 6 years ago
- The most minimal C you can do real work in☆16May 8, 2022Updated 4 years ago
- Python bindings for LLVM auto-generated from the LLVM-C API☆229Apr 8, 2025Updated last year
- 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.
- Hindley–Milner type inference implemented in Python.☆13Jun 7, 2023Updated 3 years ago
- Yet another PEG parser combinator library and DSL☆57Jul 14, 2023Updated 3 years ago
- PilOS - A Stand-Alone Operating System☆14Aug 1, 2017Updated 8 years ago
- SECD machine and Lispkit Lisp compiler, in Python☆10Oct 25, 2017Updated 8 years ago
- ☆20Jun 1, 2024Updated 2 years ago
- Intel 8080 emulator with built-in CP/M emulation☆14Feb 16, 2023Updated 3 years ago
- A different approach to an E-graph library☆28May 30, 2025Updated last year
- Easy bindings between Lean and Python.☆33May 27, 2026Updated 2 months ago
- A virtual machine written in Python that executes x86 binaries according to the Intel Software Developer Manual☆123Jul 13, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A Simple Forth System for Linux on i386 and ARM CPUs☆41Nov 19, 2015Updated 10 years ago
- ☆16Apr 9, 2020Updated 6 years ago
- Adapted source code of Niklaus Wirth's "Compiler Construction" book☆21May 11, 2023Updated 3 years ago
- Compositional type checking for a Hindley-Milner type system☆11Mar 28, 2017Updated 9 years ago
- The Free-Pascal Version of Peter de Wachters Oberon RISC Emulator☆18Jul 9, 2016Updated 10 years ago
- A copy of the code used to demonstrate implementing a DSL at a talk given at FOSDEM2012☆17Jun 21, 2013Updated 13 years ago
- ☆14Dec 9, 2015Updated 10 years ago