se-tuebingen / mini-jvm
Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
☆53Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for mini-jvm
- CMSC 430 Design and Implementation of Programming Languages☆47Updated this week
- Resumable exceptions and delimited continuations for JVM☆39Updated 3 months ago
- Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf☆29Updated 7 months ago
- Memory Management ToolKit☆31Updated 2 weeks ago
- An experimental language server for SomewhatML☆24Updated last year
- A compiler and runtime for normalizing the untyped λ-calculus☆30Updated 2 years ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆30Updated 4 months ago
- A custom parser/auto-formatter for Standard ML☆68Updated 11 months ago
- Changes and Pinafore projects. Pull requests not accepted.☆32Updated 2 weeks ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆14Updated 5 months ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆24Updated last year
- ☆31Updated 11 months ago
- Proofs written in Lean4 for the core katydid validation algorithm☆14Updated this week
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated last week
- Proving a blocking queue deadlock free in a dozen different ways☆42Updated 3 weeks ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Artifact for our ISPASS 2022 paper "Distilling the Real Cost of Production Garbage Collectors"☆18Updated 2 years ago
- ☆27Updated last year
- Logically Qualified Data Types - automatically infer refinement types☆15Updated 3 years ago
- Solving the 1 Billion Row Challenge in MPL☆16Updated 10 months ago
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆55Updated 2 years ago
- Semantic analysis framework☆14Updated 2 years ago
- Match compilation algorithm in OCaml☆23Updated last year
- Demo for dependent types + runtime code generation☆48Updated this week
- Tools for MIL, a Monadic Intermediate Language☆21Updated 2 months ago
- SPSC: A Small Positive Supercompiler☆32Updated 6 months ago
- A collection of programming languages and type systems.☆33Updated 3 months ago
- Useful things for Standard ML☆59Updated last month