Alternatives and similar repositories for pygirl

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

• xye7ei / metaparse
  A handy tool to help design and parse your own language
  ☆21Updated 2 years ago
• racket / mzscheme
  ☆12Updated 2 months ago
• adamhaney / lispy
  An implementation of scheme that can call python modules
  ☆21Updated 11 years ago
• kripken / cashew
  asm.js parser in C++
  ☆18Updated 9 years ago
• themasch / rust-git
  a git implementation in rust. yeah, I know..
  ☆12Updated 8 years ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆9Updated 5 years ago
• DIJamner / lambda-compiler
  A simple compiler from the lambda calculus to MIPS assembly
  ☆20Updated 7 years ago
• mflatt / jit-demo
  ☆64Updated 8 years ago
• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 5 years ago
• hausdorff / pyli
  A Python 3 compiler that anyone can understand.
  ☆67Updated 10 years ago
• epfl-labos / wren
  Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store
  ☆8Updated 6 years ago
• be5invis / patrisika
  An AST Library
  ☆49Updated last year
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• jarcane / MicroMini
  A simple 8-bit virtual stack machine
  ☆16Updated 10 years ago
• cslarsen / brainfuck-jit
  Brainfuck JIT VMs
  ☆17Updated 5 years ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆22Updated 3 years ago
• janestreet / patience_diff
  Tool and library implementing patience diff
  ☆23Updated 2 weeks ago
• clnhlzmn / CopperKitten
  An exercise in programming language design and implementation.
  ☆19Updated 3 years ago
• MaskRay / CamlFeatherweight
  Bytecode compiler of a variant of Caml
  ☆34Updated 9 years ago
• raph-amiard / CamllVM
  An OCaml bytecode to LLVM compiler
  ☆43Updated 7 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 9 years ago
• vkz / PLAI
  my solutions to problems in Programming Languages: Application and Interpretation class by Shriram Krishnamurthi
  ☆8Updated 9 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  ☆1Updated 5 years ago
• nojb / llvm-tiger
  A compiler for the Tiger programming language targeting LLVM
  ☆13Updated 8 years ago
• RobertHarper / nsml
  SML The Living Language
  ☆11Updated 11 years ago
• overminder / sanya-jit
  Let's (possibly) build a JIT!
  ☆29Updated last year
• parapluu / encore
  The Encore compiler.
  ☆44Updated 5 years ago
• Tipoca / hlvm
  High-Level Virtual Machine for statically-typed functional languages.
  ☆48Updated 13 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 9 years ago
• gasche / popl2014-papers
  ☆73Updated 11 years ago