mstarzinger / coolc
Cool Compiler for MIPS written in Haskell
☆16Updated 11 years ago
Related projects ⓘ
Alternatives and complementary repositories for coolc
- A concise Hindley-Milner type inferencer (algorithm W) implemented with Scala☆17Updated 11 years ago
- Tiny Scala library to generate class files for the JVM☆68Updated 3 years ago
- Distributed Programming Abstractions☆16Updated 5 years ago
- ☆26Updated 6 years ago
- Pure Pony implementation of the ZeroMQ messaging library.☆65Updated 2 years ago
- Collection of various research papers I find interesting☆86Updated 9 years ago
- Haskell JIT☆183Updated 4 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- Exploring some worst-case latencies in GCs, inspired by a post on GHC's runtime pause times: https://making.pusher.com/latency-working-se…☆55Updated 2 months ago
- Simple Virtual Machine written in Haskell☆28Updated 10 years ago
- 🔬 a C++ compiler middle-end, using an LLVM backend☆164Updated 2 years ago
- Java dialect using S-expressions☆31Updated 6 years ago
- C++ compiler for the programming language Wake: a fast, expressive, typesafe language built with testability from the ground up.☆56Updated 9 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆158Updated 5 years ago
- Distributed Systems Reading Group☆20Updated 6 years ago
- History of Programming Languages, Spring 2017☆133Updated 6 years ago
- A small demo lambda-language written in Python☆31Updated 6 years ago
- An interpreter for Monkey with parser combinator written in Haskell☆48Updated 5 years ago
- Accepted papers for POPL 2015☆67Updated 8 years ago
- Scala implementation of the Ctrie datastructure.☆174Updated 3 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-spec☆26Updated 8 years ago
- Advent of Code 2016 implemented in the Pony Language☆11Updated 7 years ago
- A Scala DSL for the Kompics framework☆20Updated 2 years ago
- Tiger Compiler from Modern Compiler Implementation in ML☆24Updated 7 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 8 years ago
- formalization of the Dependent Object Types (DOT) calculus☆154Updated 8 years ago
- attempt at summarizing Raft in one page of pseudo-code☆19Updated 6 years ago