se-tuebingen / mini-jvmLinks
Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
☆54Updated 10 months ago
Alternatives and similar repositories for mini-jvm
Users that are interested in mini-jvm are comparing it to the libraries listed below
Sorting:
- A toy dependent typed language.☆29Updated 2 weeks ago
- Memory Management ToolKit☆35Updated 3 weeks ago
- CMSC 430 Design and Implementation of Programming Languages☆51Updated 5 months ago
- Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf☆30Updated last year
- Admiran, a pure, lazy, functional language and self-hosting compiler based upon Miranda☆63Updated last week
- A custom parser/auto-formatter for Standard ML☆76Updated 3 weeks ago
- Changes and Pinafore projects. Pull requests not accepted.☆33Updated last week
- ☆19Updated 9 months ago
- ☆26Updated last year
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆51Updated 3 months ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Program logic for developing and verifying distributed systems☆34Updated 2 weeks ago
- Slog 1.0☆43Updated 11 months ago
- Fir programming language☆53Updated this week
- types for various combinatory systems, especialy tree calculi☆17Updated 4 months ago
- ☆49Updated 3 months ago
- A toy example of a verified compiler.☆28Updated last month
- Reference compiler for c0☆36Updated last week
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- Demo for dependent types + runtime code generation☆69Updated 3 months ago
- Solving the 1 Billion Row Challenge in MPL☆17Updated last year
- An interpreter for the (made up) k programming language all done in Haskell☆8Updated last year
- Artifact for our ISPASS 2022 paper "Distilling the Real Cost of Production Garbage Collectors"☆19Updated 2 years ago
- Proofs written in Lean4 for the core katydid validation algorithm☆16Updated last week
- Rhyme is an Expressive Data-Centric Query Language☆29Updated 3 weeks ago
- SKI combinators☆55Updated 8 years ago
- Resumable exceptions and delimited continuations for JVM☆42Updated last month
- EeZee Language - Compiler Engineering Basics☆23Updated last week
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆39Updated 5 months ago