mstarzinger / coolc

Related projects ⓘ

Alternatives and complementary repositories for coolc

• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 8 years ago
• tombousso / sJava
  Java dialect using S-expressions
  ☆31Updated 6 years ago
• zfy0701 / hindley-milner
  A concise Hindley-Milner type inferencer (algorithm W) implemented with Scala
  ☆17Updated 11 years ago
• yallop / popl2015-papers
  Accepted papers for POPL 2015
  ☆67Updated 8 years ago
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆74Updated last year
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆103Updated 9 years ago
• jozefg / hm
  A small implementation of type inference
  ☆78Updated 9 years ago
• djspiewak / scala-bison
  A recursive ascent/descent parser generator for Scala
  ☆33Updated last year
• overminder / sanya-jit
  Let's (possibly) build a JIT!
  ☆29Updated 11 months ago
• lihaoyi / autojit
  ☆13Updated 5 years ago
• yallop / haskell2014-papers
  Accepted papers for Haskell 2014
  ☆52Updated 8 years ago
• psuter / cafebabe
  Tiny Scala library to generate class files for the JVM
  ☆67Updated 3 years ago
• gasche / popl2014-papers
  ☆73Updated 10 years ago
• pkaleta / kivi
  Lazy functional language compiler targeting LLVM.
  ☆29Updated 13 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆129Updated 6 years ago
• parrt / simple-virtual-machine
  A simple VM for a talk on building VMs
  ☆211Updated 7 years ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆72Updated 11 years ago
• djspiewak / gll-combinators
  A parser combinator library based on the GLL algorithm
  ☆302Updated 4 months ago
• steshaw / tiger-ml
  Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML
  ☆58Updated 13 years ago
• gasche / popl2016-papers
  Links to publicly available preprints for the POPL'16 conference
  ☆120Updated 8 years ago
• Tipoca / hlvm
  High-Level Virtual Machine for statically-typed functional languages.
  ☆48Updated 12 years ago
• chris-taylor / SICP-in-Haskell
  ☆49Updated 11 years ago
• artagnon / rhine
  🔬 a C++ compiler middle-end, using an LLVM backend
  ☆164Updated 2 years ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆56Updated last month
• scala / scala-continuations
  the Scala delimited continuations plugin and library
  ☆89Updated 4 years ago
• pkrumins / the-little-mler
  All the ML code examples from the book "The Little MLer"
  ☆86Updated 14 years ago
• belaban / pluscal
  Tests with PlusCal / TLA+
  ☆25Updated 7 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆41Updated 8 years ago