Compile a subset of the Python AST to x64-64 assembler
☆145Apr 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:
- 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☆11Jan 9, 2024Updated 2 years ago
- "Toy" SMT Solver for Educational Purposes☆20Apr 17, 2013Updated 13 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Jun 6, 2020Updated 5 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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An AST for Python code generation, in Python☆33Feb 21, 2026Updated 2 months ago
- Minimal LISP Compiler for x86_64☆17Feb 22, 2022Updated 4 years ago
- Oberon-0 Compiler: An educational compiler for a subset of the Oberon programming language☆26Aug 18, 2014Updated 11 years ago
- A simple virtual machine w/constant folding implemented in Python☆118Oct 8, 2020Updated 5 years ago
- A tiny 1000 line LLVM-based numeric specializer for scientific Python code.☆412Jan 2, 2022Updated 4 years ago
- Pure-python C and assembler compiler☆55Feb 7, 2015Updated 11 years ago
- a toolset for autogenerating rust APIs and translating structs☆25May 30, 2018Updated 7 years ago
- x86-64 assembler embedded in Python☆2,050Sep 25, 2023Updated 2 years ago
- SECD machine and Lispkit Lisp compiler, in Python☆14Oct 25, 2017Updated 8 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.
- 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
- Ask for solutions.☆19Aug 5, 2019Updated 6 years ago
- How to hack Snap! Build Your Own Blocks☆10Apr 7, 2015Updated 11 years ago
- A Python-like systems programming language☆84Feb 8, 2016Updated 10 years ago
- Kaleidoscope using Python and llvmlite☆31Sep 7, 2016Updated 9 years ago
- x86-64 assembly as a Haskell EDSL☆36Sep 16, 2010Updated 15 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆32Jul 9, 2024Updated last year
- The most minimal C you can do real work in☆16May 8, 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
- 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 Python JIT compiler☆12May 29, 2019Updated 6 years ago
- Experiments on the self-hosting c4 compiler, with the goal to implement a nicer Lisp-style virtual machine☆15Mar 3, 2020Updated 6 years ago
- PilOS - A Stand-Alone Operating System☆14Aug 1, 2017Updated 8 years ago
- Pentomino puzzle solver using Python code generation☆23Feb 14, 2018Updated 8 years ago
- SECD machine and Lispkit Lisp compiler, in Python☆10Oct 25, 2017Updated 8 years ago
- Yet another PEG parser combinator library and DSL☆57Jul 14, 2023Updated 2 years ago
- A VM-based runtime environment for functional programming languages☆51Feb 13, 2017Updated 9 years ago
- ☆17Nov 28, 2025Updated 5 months ago
- ☆20Jun 1, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Shen on python.☆20Jul 27, 2014Updated 11 years ago
- Compositional type checking for a Hindley-Milner type system☆11Mar 28, 2017Updated 9 years ago
- A naive θ..θ programming language☆27Oct 23, 2018Updated 7 years ago
- A Low Barrier Proof Assistant☆166Updated this week
- Tools for IDA☆13May 25, 2016Updated 9 years ago
- Intel 8080 emulator with built-in CP/M emulation☆14Feb 16, 2023Updated 3 years ago
- A virtual machine written in Python that executes x86 binaries according to the Intel Software Developer Manual☆122Jul 13, 2021Updated 4 years ago