Alternatives and similar repositories for mini-jvm

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

• taolson / Admiran
  Admiran, a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆63Updated last week
• caizixian / distillation
  Artifact for our ISPASS 2022 paper "Distilling the Real Cost of Production Garbage Collectors"
  ☆19Updated 2 years ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated 6 months ago
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆35Updated last month
• dunhamsteve / newt
  A toy dependent typed language.
  ☆29Updated last week
• AshleyYakeley / Truth
  Changes and Pinafore projects. Pull requests not accepted.
  ☆33Updated 3 weeks ago
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆43Updated last month
• szeiger / interact
  Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf
  ☆30Updated last year
• TiarkRompf / reachability
  ☆51Updated 4 months ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 5 months ago
• informalsystems / tla-apalache-workshop
  Material for a workshop on Apalache and TLA+. To be populated with more examples.
  ☆22Updated 2 years ago
• rhyme-lang / rhyme
  Rhyme is an Expressive Data-Centric Query Language
  ☆29Updated last month
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆40Updated 6 months ago
• forax / write_your_dynamic_language_runtime
  How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM
  ☆16Updated 3 months ago
• CatarinaGamboa / liquidjava
  ☆38Updated 2 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆78Updated last month
• keyboardDrummer / Miksilo
  The fastest way to build a language
  ☆43Updated 3 years ago
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆67Updated 3 weeks ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆53Updated 4 months ago
• uds-psl / Prog
  ☆84Updated 3 years ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆73Updated last year
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated last year
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆27Updated 2 weeks ago
• jsiek / B629-denotational
  Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University
  ☆73Updated 7 years ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆68Updated 3 years ago
• verse-lab / obatcher_ds
  ☆19Updated 9 months ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 4 months ago
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆26Updated 2 years ago
• logsem / aneris
  Program logic for developing and verifying distributed systems
  ☆34Updated last week