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 last year
• liquid-java / liquidjava
  ☆52Updated this week
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated last year
• taolson / Admiran
  Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆81Updated 2 weeks ago
• verse-lab / obatcher_ds
  ☆20Updated last year
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆52Updated last month
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆66Updated last month
• rhyme-lang / rhyme
  Rhyme is an Expressive Data-Centric Query Language
  ☆30Updated this week
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆120Updated last month
• dunhamsteve / newt
  A toy dependent typed language.
  ☆36Updated this week
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆87Updated last week
• harp-lab / slog-lang1
  Slog 1.0
  ☆46Updated last year
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆77Updated 3 years ago
• etiamz / supercompilation-resources
  📚 A collection of resources about supercompilation
  ☆128Updated 5 months ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆94Updated 3 weeks ago
• JasonSteving99 / claro-lang
  Claro Lang
  ☆149Updated last year
• rems-project / cn
  CN separation logic refinement type system for C
  ☆44Updated 2 weeks ago
• caius-iulius / spinnaker
  ☆26Updated 2 years ago
• fir-lang / fir
  Fir programming language
  ☆90Updated this week
• keyboardDrummer / Miksilo
  The fastest way to build a language
  ☆41Updated 4 years ago
• AshleyYakeley / Truth
  Changes and Pinafore projects. Pull requests not accepted.
  ☆33Updated last week
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆44Updated 8 months ago
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆121Updated last week
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…
  ☆153Updated 6 months ago
• ngzhian / ski
  SKI combinators
  ☆56Updated 8 years ago
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆37Updated 5 months ago
• shwestrick / mpl-1brc
  Solving the 1 Billion Row Challenge in MPL
  ☆17Updated last year
• gteege / gentle-isabelle
  A gentle introduction to Isabelle and Isabelle/HOL
  ☆16Updated 9 months ago
• etiamz / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆41Updated 2 months ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆39Updated last year