basic-calculus / jsystemfLinks
Just a little toy System F interpreter, doesn't even have proper generics yet.
☆12Updated 5 years ago
Alternatives and similar repositories for jsystemf
Users that are interested in jsystemf are comparing it to the libraries listed below
Sorting:
- A Java parser combinator library written with an unmatched feature set.☆131Updated 4 years ago
- My experimental programming language using Truffle☆112Updated 5 years ago
- Recaffeinating Java ☕️ with custom semantics and extensions☆52Updated 3 years ago
- Modern IDE plus custom programming languages with interpreters and compilers☆66Updated 7 years ago
- Assorted functional-oriented data structures and algorithms for Java.☆116Updated 9 months ago
- Purely functional data structures in Java☆39Updated 4 years ago
- Optimizer library for tail recursive calls in Java bytecode☆124Updated 2 years ago
- Efficient Immutable/Persistent Collections for Java☆47Updated last year
- Play memory allocation rate and GC events as sine wave and percussion, respectively.☆32Updated 5 years ago
- Java monadic parser combinator framework for constructing LL(1) parsers☆122Updated 6 months ago
- Yet another Java based Prolog engine☆31Updated last week
- Thor Hammer and a way to express invokedynamic in Java☆17Updated 5 years ago
- Resumable exceptions and delimited continuations for JVM☆44Updated 7 months ago
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆81Updated 7 years ago
- A bestiary of classes implementing exotic semantics in Java☆131Updated 2 years ago
- PEG parser generator for Java 17 - grammar as algebraic datatypes☆66Updated 3 years ago
- A pure Java 7+ build tool with advanced compiler features and strong opinions☆40Updated 3 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated last month
- Delivers struct types for Java programming language.☆177Updated last year
- Dynamic parser combinators in Java.☆178Updated last week
- The Dyvil programming language☆65Updated last month
- Runs Java code without a build system, grabbing dependencies declared in the Java file itself.☆17Updated last year
- Java dialect using S-expressions☆31Updated 7 years ago
- Embeddable WebAssembly Interpreter for the JVM, written in Kotlin☆40Updated 4 years ago
- Jasmin is an assembler for the Java Virtual Machine ⛺☆202Updated 2 years ago
- An implementation of Oz on top of Truffle and Graal☆42Updated 3 years ago
- The Ixy user space network driver ported to Java 12☆22Updated 4 years ago
- Artifact accompanying our OOPSLA'15 publication.☆33Updated 2 years ago
- A Java DSL for binding method handles forward, rather than backward☆109Updated last month
- Cojen/Maker is a lightweight, full-featured, low-level dynamic Java class generator designed for ease of use.☆65Updated last month