mstarzinger / coolc
Cool Compiler for MIPS written in Haskell
☆16Updated 12 years ago
Alternatives and similar repositories for coolc:
Users that are interested in coolc are comparing it to the libraries listed below
- A concise Hindley-Milner type inferencer (algorithm W) implemented with Scala☆17Updated 11 years ago
- History of Programming Languages, Spring 2017☆135Updated 6 years ago
- A simple VM for a talk on building VMs☆215Updated 7 years ago
- Tiny Scala library to generate class files for the JVM☆68Updated 3 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-spec☆26Updated 8 years ago
- Java dialect using S-expressions☆31Updated 6 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆157Updated 5 years ago
- Let's (possibly) build a JIT!☆29Updated last year
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- The Balloon programming language and interpreter.☆17Updated 7 years ago
- Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala☆74Updated last year
- A recursive ascent/descent parser generator for Scala☆33Updated 2 years ago
- Scala implementation of the Ctrie datastructure.☆174Updated 3 years ago
- A a dynamic x86_64 assembler in Scala — Code for the live coding session @ Devoxx france 2016☆121Updated 8 years ago
- ☆49Updated 12 years ago
- Accepted papers for POPL 2015☆67Updated 8 years ago
- Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel☆103Updated 9 years ago
- A parser combinator library based on the GLL algorithm☆303Updated 6 months ago
- a little JIT VM language for (probably/eventually) terminal UI apps.☆62Updated 6 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 8 years ago
- Link to preprints for POPL'17 and co-located events☆100Updated 7 years ago
- ☆73Updated 10 years ago
- Teach myself about interpreters, JITs, and compilers using the Brainfuck language as the toy language☆85Updated 3 years ago
- A small demo lambda-language written in Python☆31Updated 6 years ago
- Getting started with the LLVM C API☆111Updated 7 years ago
- Collection of various research papers I find interesting☆86Updated 9 years ago
- Accepted papers for Haskell 2014☆52Updated 8 years ago
- RFCs for changes to Rust☆59Updated 5 years ago