Alternatives and similar repositories for mini-jvm:

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

• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆48Updated last month
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆33Updated 2 weeks ago
• forax / write_your_dynamic_language_runtime
  How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM
  ☆15Updated last week
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆43Updated 3 months ago
• norswap / uranium
  Semantic analysis framework
  ☆14Updated 2 years ago
• szeiger / interact
  Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf
  ☆29Updated 9 months ago
• sampsyo / flatcalc
  world's worst interpreter
  ☆56Updated 6 months ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆71Updated last year
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆24Updated last year
• dunhamsteve / newt
  A toy dependent typed language.
  ☆24Updated this week
• keyboardDrummer / Miksilo
  The fastest way to build a language
  ☆41Updated 3 years ago
• verse-lab / obatcher_ds
  ☆18Updated 5 months ago
• AshleyYakeley / Truth
  Changes and Pinafore projects. Pull requests not accepted.
  ☆33Updated this week
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆40Updated last month
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆33Updated 8 months ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆38Updated 7 months ago
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆33Updated last month
• caius-iulius / spinnaker
  ☆27Updated last year
• TiarkRompf / reachability
  ☆44Updated 2 months ago
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆36Updated last month
• ngzhian / ski
  SKI combinators
  ☆51Updated 7 years ago
• flix / vscode-flix
  ☆22Updated 2 weeks ago
• melvic-ybanez / dry
  A high-level programming language written in Scala
  ☆34Updated last year
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• playXE / migc
  Simple conservative GC using mimalloc
  ☆39Updated 2 years ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• tekknolagi / ghuloum
  Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)
  ☆61Updated 3 years ago
• maximecb / kavascript
  Minimalistic dynamically-typed programming language for didactic purposes.
  ☆28Updated 2 years ago
• jsiek / B629-denotational
  Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University
  ☆72Updated 6 years ago