camillobruni / pygirl
A gameboy emulator written for the Pypy-Toolchain
☆15Updated 12 years ago
Alternatives and similar repositories for pygirl:
Users that are interested in pygirl are comparing it to the libraries listed below
- A practical LLVM backend for OCaml (will never be finished)☆33Updated 10 years ago
- An implementation of scheme that can call python modules☆21Updated 11 years ago
- A simple 8-bit virtual stack machine☆16Updated 10 years ago
- Generate formatted C++ from Racket S-expressions☆36Updated 9 years ago
- An OCaml bytecode to LLVM compiler☆42Updated 6 years ago
- Bytecode compiler of a variant of Caml☆32Updated 9 years ago
- Distributed computing library☆35Updated 6 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 5 years ago
- A compiler for the Tiger programming language targeting LLVM☆13Updated 7 years ago
- Compile-time metaprogramming for OCaml☆71Updated 5 months ago
- MPP: a meta preprocessor that blends programming languages☆32Updated last year
- old cicada attempt in rs☆3Updated last year
- The rewrite of TLAPM, the TLAPS proof manager☆0Updated 5 years ago
- CHIP-8 virtual machine implementation in the Rust programming language☆13Updated 9 years ago
- BIT: A Very Compact Scheme System for Microcontrollers☆44Updated 8 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 8 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆26Updated 7 months ago
- An absurdly tiny Lisp interpreter in OCaml☆30Updated 13 years ago
- ☆12Updated 2 months ago
- A variant of OCaml's native code compiler ocamlopt using LLVM in the back-end for optimization and code generation. Warning: Binaries pr…☆53Updated 12 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- Toy interpreters for learning about the RPython Translation Toolchain☆15Updated 9 years ago
- A Brainfuck to binary compiler using LLVM, written in OCaml.☆19Updated last year
- My PhD Thesis☆14Updated 3 years ago
- MLpolyR☆7Updated 8 years ago
- ☆22Updated 12 years ago
- Codes related to Idris☆15Updated 9 years ago