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
  ☆29Updated 10 months ago
• AshleyYakeley / Truth
  Changes and Pinafore projects. Pull requests not accepted.
  ☆33Updated 2 weeks ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆28Updated last week
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆48Updated 2 months ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆38Updated 8 months ago
• CatarinaGamboa / liquidjava
  ☆36Updated 3 weeks ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆75Updated last year
• rhyme-lang / rhyme
  Rhyme is an Expressive Data-Centric Query Language
  ☆27Updated this week
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆33Updated 2 weeks ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• TiarkRompf / reachability
  ☆46Updated last week
• keyboardDrummer / Miksilo
  The fastest way to build a language
  ☆42Updated 3 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆34Updated 9 months ago
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆37Updated 2 months ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆40Updated last week
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆83Updated this week
• norswap / uranium
  Semantic analysis framework
  ☆14Updated 2 years ago
• AndrasKovacs / staged
  Staged compilation with dependent types
  ☆168Updated last week
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆66Updated 2 weeks ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆43Updated 4 months ago
• marcusrossel / verified-compiler
  A toy example of a verified compiler.
  ☆27Updated last month
• flix / vscode-flix
  ☆22Updated last week
• hkust-taco / superf
  Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…
  ☆14Updated 9 months ago
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆45Updated last year
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated last month
• katydid / regex-deriv-lean
  Proofs written in Lean4 for the core katydid validation algorithm
  ☆14Updated last week