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
- Tiny Scala library to generate class files for the JVM☆68Updated 3 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- Accepted papers for POPL 2015☆67Updated 8 years ago
- An interpreter for Monkey with parser combinator written in Haskell☆48Updated 5 years ago
- A parser combinator library based on the GLL algorithm☆303Updated 7 months ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-spec☆26Updated 8 years ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- A concise Hindley-Milner type inferencer (algorithm W) implemented with Scala☆17Updated 11 years ago
- ☆73Updated 11 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
- Exploring some worst-case latencies in GCs, inspired by a post on GHC's runtime pause times: https://making.pusher.com/latency-working-se…☆54Updated 5 months ago
- Constructor of incremental parsers in Scala☆447Updated 4 years ago
- A recursive ascent/descent parser generator for Scala☆33Updated 2 years ago
- ☆20Updated 9 years ago
- Accepted papers for Haskell 2014☆52Updated 8 years ago
- A fast, light-weight web server for WAI applications.☆42Updated 13 years ago
- Distributed Programming Abstractions☆16Updated 6 years ago
- SQL parser in Haskell☆83Updated 4 months ago
- All the ML code examples from the book "The Little MLer"☆87Updated 14 years ago
- Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992☆33Updated 4 years ago
- Collection of various research papers I find interesting☆85Updated 9 years ago
- Golang Port of LLVM's Kaleidoscope Tutorial☆30Updated 10 years ago
- Dive into GHC☆82Updated 8 years ago
- formalization of the Dependent Object Types (DOT) calculus☆156Updated 8 years ago
- A funny toy programming language project☆29Updated 12 years ago
- Learn You a Lambda, a Haskell Tutorial☆47Updated 8 years ago
- A Scala DSL for the Kompics framework☆20Updated 3 years ago
- Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel☆104Updated 9 years ago
- A small implementation of type inference☆78Updated 9 years ago