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. 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☆235Apr 21, 2018Updated 7 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☆11Jan 9, 2024Updated 2 years ago
- "Toy" SMT Solver for Educational Purposes☆20Apr 17, 2013Updated 12 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Jun 6, 2020Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- An 8086 emulator written from scratch in C by me (with some help from the tumblrcode community)☆16Nov 4, 2012Updated 13 years ago
- Functions Catalog☆28Jul 10, 2019Updated 6 years ago
- Minimal LISP Compiler for x86_64☆15Feb 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
- Pure-python C and assembler compiler☆54Feb 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,048Sep 25, 2023Updated 2 years ago
- SECD machine and Lispkit Lisp compiler, in Python☆14Oct 25, 2017Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 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
- fcatalog idapython client☆27Aug 19, 2016Updated 9 years ago
- Ask for solutions.☆19Aug 5, 2019Updated 6 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! ☕☆30Jul 9, 2024Updated last year
- Hindley–Milner type inference implemented in Python.☆12Jun 7, 2023Updated 2 years ago
- The most minimal C you can do real work in☆16May 8, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- 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
- 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☆56Jul 14, 2023Updated 2 years ago
- A VM-based runtime environment for functional programming languages☆51Feb 13, 2017Updated 9 years ago
- ☆15Nov 28, 2025Updated 4 months ago
- Shen on python.☆20Jul 27, 2014Updated 11 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- Compositional type checking for a Hindley-Milner type system☆11Mar 28, 2017Updated 9 years ago
- A different approach to an E-graph library☆28May 30, 2025Updated 10 months ago
- Python to C99/OpenCL/JS compiler☆64Jul 11, 2016Updated 9 years ago
- A naive θ..θ programming language☆27Oct 23, 2018Updated 7 years ago
- A Low Barrier Proof Assistant☆161Mar 22, 2026Updated last week
- Tools for IDA☆13May 25, 2016Updated 9 years ago