Alternatives and similar repositories for j--:

Users that are interested in j-- are comparing it to the libraries listed below

• jeffweiss / modern_compiler_implementation_in_java
  Modern Compiler Implementation in Java by Andrew W. Appel has been sitting on my shelf long enough. It's time I work through it, you know…
  ☆59Updated 12 years ago
• ice1000 / CompilerWorks
  编译原理相关的工作岗位收集
  ☆87Updated 6 years ago
• lice-lang / lice
  A multi-paradigm programming language running on JVM
  ☆129Updated 6 years ago
• aya-prover / aya-dev
  A proof assistant and a dependently-typed language
  ☆303Updated this week
• ice1000 / Books
  My slides and notes
  ☆137Updated last year
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆110Updated 3 years ago
• y1yang0 / yarrow
  [yarrow] JVMCI based optimizing compiler for HotSpot VM
  ☆35Updated 3 years ago
• spiritbear / Grad-School-Code
  Some Code from my Grad School Courses
  ☆107Updated 13 years ago
• MPRI / M2-4-2
  Functional programming and type systems
  ☆126Updated 9 years ago
• owo-lang / intellij-dtlc
  IntelliJ plugin for several experimental programming languages here
  ☆35Updated 3 years ago
• KirisameMagicShop / kirisamemagicshop.github.io
  ☆11Updated this week
• noti0na1 / LambdaCalculus-java
  Lambda calculus implemented in Java
  ☆20Updated 8 years ago
• IUCompilerCourse / public-student-support-code
  Public helper code for p423/p523 students (Racket)
  ☆161Updated 2 months ago
• JetBrains / intellij-arend
  Arend plugin for IntelliJ IDEA
  ☆93Updated this week
• KevinOfNeu / Enkel
  Practice of github.com/JakubDziworski/Enkel-JVM-language
  ☆38Updated 6 years ago
• skinny85 / graalvm-truffle-tutorial
  The code for the series of tutorials on my blog about the GraalVM Truffle language implementation framework
  ☆41Updated 3 weeks ago
• OpenPAL / TypeAndProof
  https://openpal.github.io/TypeAndProof/
  ☆99Updated 7 years ago
• dannypsnl / write-a-programming-language
  How to make a new language(and why we shouldn't?)
  ☆40Updated last year
• JikesRVM / JikesRVM
  Jikes RVM (Research Virtual Machine)
  ☆414Updated 2 years ago
• IUCompilerCourse / IU-P423-P523-E313-E513-Fall-2020
  Web page for IU Compiler Course for Fall 2020
  ☆131Updated 4 years ago
• mrmathematica / ooplai-zh
  OOPLAI中文翻译
  ☆33Updated last year
• Agda-zh / PLFA-zh
  《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
  ☆210Updated this week
• parrt / simple-virtual-machine
  A simple VM for a talk on building VMs
  ☆215Updated 7 years ago
• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆55Updated 7 months ago
• JianpingZeng / xcc-project
  The C/C++/Fortran compiler collection written in Java
  ☆36Updated 3 years ago
• thautwarm / RBNF
  This project's lifetime has ended. The successor is https://github.com/thautwarm/frontend-for-free which is WIP. You can check lark-parse…
  ☆40Updated 6 years ago
• wonks / wonks.github.io
  PL Wonks website
  ☆10Updated this week
• JetBrains / arend-lib
  ☆80Updated this week
• AntonPing / norem-draft-2
  A modern functional programming language with effect system.
  ☆19Updated 10 months ago