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:
- Modern IDE plus custom programming languages with interpreters and compilers☆66Updated 7 years ago
- My experimental programming language using Truffle☆112Updated 5 years ago
- Assorted functional-oriented data structures and algorithms for Java.☆114Updated 6 months ago
- Purely functional data structures in Java☆39Updated 4 years ago
- Thor Hammer and a way to express invokedynamic in Java☆18Updated 4 years ago
- Java monadic parser combinator framework for constructing LL(1) parsers☆121Updated 3 months ago
- PEG parser generator for Java 17 - grammar as algebraic datatypes☆66Updated 3 years ago
- A Java parser combinator library written with an unmatched feature set.☆128Updated 3 years ago
- Resumable exceptions and delimited continuations for JVM☆44Updated 4 months ago
- Recaffeinating Java ☕️ with custom semantics and extensions☆52Updated 3 years ago
- Efficient Immutable/Persistent Collections for Java☆45Updated 11 months ago
- Play memory allocation rate and GC events as sine wave and percussion, respectively.☆32Updated 5 years ago
- Assembler / Disassembler for Java Bytecode☆23Updated 4 years ago
- PoC of running Doom on top of GraalVM☆73Updated 2 years ago
- A static language for the JVM with sensible defaults☆99Updated 9 years ago
- A real-time ray tracer in Java, accelerated on heterogeneous hardware using TornadoVM☆27Updated last year
- Dynamic parser combinators in Java.☆176Updated 3 weeks ago
- A bestiary of classes implementing exotic semantics in Java☆132Updated 2 years ago
- adt4j - Algebraic Data Types for Java☆147Updated 7 years ago
- Continuations library for Java by Matthias Mann☆29Updated 4 years ago
- The Dyvil programming language☆64Updated last year
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆81Updated 7 years ago
- Embeddable WebAssembly Interpreter for the JVM, written in Kotlin☆40Updated 4 years ago
- Tiny Scala library to generate class files for the JVM☆70Updated 4 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated 3 weeks ago
- A Java DSL for binding method handles forward, rather than backward☆109Updated last year
- Simple parser combinator library for Kotlin☆25Updated 2 years ago
- Yet another Java based Prolog engine☆30Updated last month
- a Java virtual machine written in pure Lua☆71Updated 9 years ago
- Prolog programming for the Java platform.☆40Updated last month