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
• taolson / Admiran
  Admiran compiler, library, and examples
  ☆62Updated last week
• art-w / deque
  Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
  ☆121Updated 10 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆45Updated 2 months ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆50Updated 4 months ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• keyboardDrummer / Miksilo
  The fastest way to build a language
  ☆42Updated 3 years ago
• melvic-ybanez / dry
  A high-level programming language written in Scala
  ☆34Updated last year
• dunhamsteve / newt
  A toy dependent typed language.
  ☆28Updated last week
• AshleyYakeley / Truth
  Changes and Pinafore projects. Pull requests not accepted.
  ☆33Updated this week
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 3 months ago
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆34Updated last week
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆42Updated this week
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆23Updated 4 months ago
• verse-lab / obatcher_ds
  ☆19Updated 8 months ago
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆31Updated 2 weeks ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆63Updated 3 years ago
• shwestrick / mpl-1brc
  Solving the 1 Billion Row Challenge in MPL
  ☆17Updated last year
• sjoerdvisscher / unfoldable
  Class of data structures that can be unfolded.
  ☆22Updated last year
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆76Updated this week
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆39Updated 4 months ago
• jkoppel / ecta
  ☆35Updated last year
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆25Updated last year
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆42Updated 6 months ago
• SamChou19815 / samlang
  Sam's Programming Language
  ☆39Updated last week
• TiarkRompf / reachability
  ☆47Updated 2 months ago
• CatarinaGamboa / liquidjava
  ☆37Updated 3 weeks ago
• contificate / match
  Match compilation algorithm in OCaml
  ☆25Updated 2 months ago
• caius-iulius / spinnaker
  ☆27Updated last year
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆35Updated 11 months ago