Alternatives and similar repositories for pyast64

Users that are interested in pyast64 are comparing it to the libraries listed below

• darius / tailbiter

  View on GitHub
  Self-compiling compiler of a Python subset. Just enough Python to Python in Python.
  ☆46Feb 21, 2023Updated 2 years ago
• samsergey / monopig

  View on GitHub
  Monoidal stack machine
  ☆10Nov 25, 2018Updated 7 years ago
• highwaycoder / 8086

  View on GitHub
  An 8086 emulator written from scratch in C by me (with some help from the tumblrcode community)
  ☆17Nov 4, 2012Updated 13 years ago
• OpenProgger / LISP

  View on GitHub
  Minimal LISP Compiler for x86_64
  ☆15Feb 22, 2022Updated 3 years ago
• UCSD-PL / nano-smt

  View on GitHub
  "Toy" SMT Solver for Educational Purposes
  ☆20Apr 17, 2013Updated 12 years ago
• Jamesbarford / python-c-compiler

  View on GitHub
  A toy c compiler written in python
  ☆12Jan 9, 2024Updated 2 years ago
• squaresLab / Darjeeling

  View on GitHub
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆30Jul 9, 2024Updated last year
• pfalcon / python-compiler.old

  View on GitHub
  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
• campagnola / pycca

  View on GitHub
  Pure-python C and assembler compiler
  ☆55Feb 7, 2015Updated 11 years ago
• cslarsen / python-simple-vm

  View on GitHub
  A simple virtual machine w/constant folding implemented in Python
  ☆118Oct 8, 2020Updated 5 years ago
• opencompl / egg-tactic-code

  View on GitHub
  ☆16Jul 3, 2023Updated 2 years ago
• TikhonJelvis / imp

  View on GitHub
  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
• true-grue / graph-irs

  View on GitHub
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆25Oct 22, 2023Updated 2 years ago
• djc / runa

  View on GitHub
  A Python-like systems programming language
  ☆84Feb 8, 2016Updated 10 years ago
• AngelTerrones / Algol

  View on GitHub
  A RISC-V CPU (Outdated: using priviledge v1.7)
  ☆26Apr 6, 2019Updated 6 years ago
• lboasso / oberon0

  View on GitHub
  Adapted source code of Niklaus Wirth's "Compiler Construction" book
  ☆20May 11, 2023Updated 2 years ago
• riswords / quiche

  View on GitHub
  ☆24Feb 26, 2023Updated 2 years ago
• rcorcs / OberonC

  View on GitHub
  Oberon-0 Compiler: An educational compiler for a subset of the Oberon programming language
  ☆26Aug 18, 2014Updated 11 years ago
• jakeret / hope

  View on GitHub
  HOPE: A Python Just-In-Time compiler for astrophysical computations
  ☆383Jun 10, 2021Updated 4 years ago
• ChrisTimperley / RepairChain

  View on GitHub
  AIxCC: automated vulnerability repair via LLMs, search, and static analysis
  ☆11Jul 16, 2024Updated last year
• jpages / twopy

  View on GitHub
  A Python JIT compiler
  ☆12May 29, 2019Updated 6 years ago
• Code-WvS / snap-wiki

  View on GitHub
  How to hack Snap! Build Your Own Blocks
  ☆10Apr 7, 2015Updated 10 years ago
• GaloisInc / LIMA

  View on GitHub
  LIMA: Language for Integrated Modeling and Analysis
  ☆12Sep 8, 2018Updated 7 years ago
• 8l / pilos

  View on GitHub
  PilOS - A Stand-Alone Operating System
  ☆14Aug 1, 2017Updated 8 years ago
• Kha / do-supplement

  View on GitHub
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆14Feb 15, 2025Updated 11 months ago
• google / byterun

  View on GitHub
  A Python implementation of a Python bytecode runner
  ☆17Jul 15, 2019Updated 6 years ago
• bakerjd99 / jod

  View on GitHub
  jod distribution source with commented versions in (jodijs) - tracks J Pacman versions
  ☆10Apr 19, 2025Updated 9 months ago
• darius / elv

  View on GitHub
  A very basic Lisp + Erlang-style processes, on a virtual machine
  ☆10Aug 24, 2016Updated 9 years ago
• eytans / easter-egg

  View on GitHub
  easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once
  ☆13Mar 27, 2025Updated 10 months ago
• Maratyszcza / PeachPy

  View on GitHub
  x86-64 assembler embedded in Python
  ☆2,048Sep 25, 2023Updated 2 years ago
• revng / llvmcpy

  View on GitHub
  Python bindings for LLVM auto-generated from the LLVM-C API
  ☆229Apr 8, 2025Updated 10 months ago
• tydeu / lean4-alloy

  View on GitHub
  Write C shims from within Lean code.
  ☆82Jul 13, 2025Updated 7 months ago
• LensPlaysGames / Corth

  View on GitHub
  It's like Porth, but in C++. Yep, we're going full circle.
  ☆20Dec 8, 2022Updated 3 years ago
• hawkw / seax

  View on GitHub
  A VM-based runtime environment for functional programming languages
  ☆51Feb 13, 2017Updated 9 years ago
• aubreyrjones / lemon-py

  View on GitHub
  Generic parse tree, configurable lexer, `lemon` parser generator, wrapped for C++17 and Python 3.
  ☆15Apr 26, 2021Updated 4 years ago
• delcypher / nsolv

  View on GitHub
  Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.
  ☆11Dec 7, 2012Updated 13 years ago
• eternaight / sn-terrain-edit

  View on GitHub
  Unity app for editing Subnautica's voxel terrain
  ☆15Feb 14, 2022Updated 3 years ago
• folivetti / srtree

  View on GitHub
  Haskell library for representing and manipulating Symbolic Regression Tree
  ☆16Updated this week
• mhirki / idq-bench2

  View on GitHub
  Instruction decoder microbenchmark suite
  ☆11Oct 31, 2017Updated 8 years ago