Alternatives and similar repositories for pygirl:

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

• racket / mzscheme
  ☆12Updated 3 months ago
• themasch / rust-git
  a git implementation in rust. yeah, I know..
  ☆12Updated 8 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆43Updated 9 years ago
• MaskRay / CamlFeatherweight
  Bytecode compiler of a variant of Caml
  ☆34Updated 9 years ago
• kripken / cashew
  asm.js parser in C++
  ☆18Updated 9 years ago
• smarr / SOM
  SOM - Simple Object Machine
  ☆23Updated this week
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• dbp / howtoprovefullabstraction
  Writeup that goes along with this:
  ☆15Updated 6 years ago
• apl-cornell / jif
  Java-like Language with Static Information Flow Types
  ☆11Updated 2 years ago
• RobertHarper / nsml
  SML The Living Language
  ☆11Updated 11 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• angrave / sys
  Linux and C programming in a web browser
  ☆26Updated 8 years ago
• jarcane / MicroMini
  A simple 8-bit virtual stack machine
  ☆16Updated 10 years ago
• xieyuheng / cicada-rs
  old cicada attempt in rs
  ☆3Updated last year
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• xye7ei / metaparse
  A handy tool to help design and parse your own language
  ☆21Updated 2 years ago
• chip8-rust / chip8-vm
  CHIP-8 virtual machine implementation in the Rust programming language
  ☆13Updated 9 years ago
• cyphar / redone
  A *correct* implementation of regular expression matching (using finite state automata).
  ☆48Updated 8 years ago
• janestreet / async_parallel
  Distributed computing library
  ☆35Updated 6 years ago
• overminder / sanya-jit
  Let's (possibly) build a JIT!
  ☆29Updated last year
• servo / osmesa-src
  OSMesa source code and cargo build scripts to compile on Linux and Mac
  ☆12Updated 11 months ago
• mit-pdos / 6.826-2017-labs
  ☆13Updated 7 years ago
• hausdorff / pyli
  A Python 3 compiler that anyone can understand.
  ☆67Updated 10 years ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• coquelicot / PyDSL
  A runtime DSL parser generator for python.
  ☆18Updated 8 years ago
• DIJamner / lambda-compiler
  A simple compiler from the lambda calculus to MIPS assembly
  ☆20Updated 7 years ago
• epfl-labos / wren
  Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store
  ☆8Updated 6 years ago
• SOM-st / RPySOM
  RPySOM - The Simple Object Machine Smalltalk implemented in RPython
  ☆15Updated 4 years ago
• campaul / octave
  An 8-bit CPU designed for education
  ☆22Updated 10 years ago
• andrewray / iocamljs
  An OCaml javascript kernel for the IPython notebook
  ☆58Updated 7 years ago