se-tuebingen / mini-jvm
Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
☆53Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for mini-jvm
- CMSC 430 Design and Implementation of Programming Languages☆46Updated last week
- Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf☆29Updated 6 months ago
- Resumable exceptions and delimited continuations for JVM☆39Updated 2 months ago
- Proving a blocking queue deadlock free in a dozen different ways☆42Updated last week
- An experimental language server for SomewhatML☆24Updated last year
- Memory Management ToolKit☆31Updated this week
- A compiler and runtime for normalizing the untyped λ-calculus☆30Updated 2 years ago
- ☆31Updated 11 months ago
- A custom parser/auto-formatter for Standard ML☆68Updated 10 months ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆51Updated 3 years ago
- ☆37Updated 6 months ago
- A collection of programming languages and type systems.☆33Updated 2 months ago
- Artifact for our ISPASS 2022 paper "Distilling the Real Cost of Production Garbage Collectors"☆18Updated last year
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆22Updated last year
- A compiler, testing bed, and standard library for the Choral programming language.☆25Updated last week
- Changes and Pinafore projects. Pull requests not accepted.☆32Updated this week
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- ☆27Updated last year
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆24Updated last year
- A ML-like pure functional language that can be used as a template for creating your own language☆27Updated last year
- A formal consistency proof of Quine's set theory New Foundations☆66Updated this week
- Staged compilation with dependent types☆161Updated this week
- A Language with Dependent Data and Codata Types☆53Updated this week
- Solving the 1 Billion Row Challenge in MPL☆16Updated 10 months ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated last year
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆72Updated 6 years ago
- Tools for MIL, a Monadic Intermediate Language☆21Updated last month
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆30Updated 3 months ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆25Updated 2 years ago
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year