Alternatives and similar repositories for mini-jvm

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

• szeiger / interact
  Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf
  ☆30Updated last year
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated this week
• verse-lab / obatcher_ds
  ☆20Updated last year
• dunhamsteve / newt
  A toy dependent typed language.
  ☆32Updated 2 weeks ago
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆11Updated last year
• taolson / Admiran
  Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆77Updated this week
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated last year
• JasonSteving99 / claro-lang
  Claro Lang
  ☆146Updated last year
• rhyme-lang / rhyme
  Rhyme is an Expressive Data-Centric Query Language
  ☆30Updated last week
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated 9 months ago
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆36Updated 2 months ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆115Updated this week
• CatarinaGamboa / liquidjava
  ☆44Updated last month
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆72Updated 3 years ago
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆28Updated 2 years ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆80Updated last month
• T-Brick / c0deine
  Reference compiler for c0
  ☆37Updated 3 months ago
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆44Updated 4 months ago
• gteege / gentle-isabelle
  A gentle introduction to Isabelle and Isabelle/HOL
  ☆13Updated 5 months ago
• uds-psl / Prog
  ☆86Updated 3 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆38Updated last year
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆61Updated this week
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆89Updated 2 months ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆37Updated 5 months ago
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆38Updated last month
• caius-iulius / spinnaker
  ☆26Updated last year
• keyboardDrummer / Miksilo
  The fastest way to build a language
  ☆43Updated 3 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• ngzhian / ski
  SKI combinators
  ☆55Updated 8 years ago
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆112Updated 2 months ago