se-tuebingen / mini-jvm
Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
☆54Updated 8 months ago
Alternatives and similar repositories for mini-jvm:
Users that are interested in mini-jvm are comparing it to the libraries listed below
- Resumable exceptions and delimited continuations for JVM☆40Updated 3 weeks ago
- Admiran compiler, library, and examples☆60Updated this week
- A toy dependent typed language.☆28Updated last week
- CMSC 430 Design and Implementation of Programming Languages☆50Updated 3 months ago
- ☆46Updated last month
- ☆37Updated 2 months ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆43Updated 2 months ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated last month
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆39Updated 3 months ago
- A compiler, testing bed, and standard library for the Choral programming language.☆27Updated this week
- Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf☆30Updated 11 months ago
- Memory Management ToolKit☆33Updated 2 months ago
- Slog 1.0☆41Updated 10 months ago
- Proving a blocking queue deadlock free in a dozen different ways☆42Updated 5 months ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 3 months ago
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆16Updated 3 weeks ago
- Changes and Pinafore projects. Pull requests not accepted.☆33Updated this week
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- Miscellaneous Racket utilities lacking a better home☆12Updated 5 months ago
- Tools for MIL, a Monadic Intermediate Language☆21Updated 6 months ago
- Rhyme is an Expressive Data-Centric Query Language☆27Updated this week
- A custom parser/auto-formatter for Standard ML☆75Updated last month
- Solving the 1 Billion Row Challenge in MPL☆17Updated last year
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆24Updated last year
- An overview of property-based testing functionality☆59Updated 2 months ago
- Artifact for our ISPASS 2022 paper "Distilling the Real Cost of Production Garbage Collectors"☆18Updated 2 years ago
- SPSC: A Small Positive Supercompiler☆35Updated 10 months ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 3 months ago
- GitHub copy of the NTS/TeX source code from 2001☆30Updated 3 years ago
- ☆43Updated 3 years ago