noti0na1 / LambdaCalculus-javaLinks
Lambda calculus implemented in Java
☆20Updated 8 years ago
Alternatives and similar repositories for LambdaCalculus-java
Users that are interested in LambdaCalculus-java are comparing it to the libraries listed below
Sorting:
- A powerful, easy-to-use, modern Java core library for the future☆62Updated 2 months ago
- IntelliJ plugin for several experimental programming languages here☆35Updated 3 years ago
- Polyglot Extensible Compiler Framework for Java☆112Updated 3 years ago
- ☆12Updated 3 years ago
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- A modern Java classfile manipulation and analysis library☆55Updated last year
- [yarrow] JVMCI based optimizing compiler for HotSpot VM☆35Updated 3 years ago
- A new packaging format for Java programs.☆89Updated 2 months ago
- ☆14Updated 4 years ago
- https://openjdk.org/projects/jdk/15 released 2020-09-15☆39Updated 4 years ago
- ☆38Updated 2 months ago
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆16Updated 3 months ago
- Source code & exercises in Arend's documentation☆21Updated 3 years ago
- ☆13Updated 3 weeks ago
- ☆16Updated last year
- A multi-paradigm programming language running on JVM☆130Updated 7 years ago
- Resumable exceptions and delimited continuations for JVM☆44Updated last month
- Fork of jdk8u/hotspot with support for JVMCI☆74Updated 3 years ago
- ☆11Updated 9 months ago
- Java monadic parser combinator framework for constructing LL(1) parsers☆119Updated 3 weeks ago
- An algorithm library using java native interface☆68Updated 5 years ago
- Jasmin is an assembler for the Java Virtual Machine ⛺☆195Updated 2 years ago
- Assorted functional-oriented data structures and algorithms for Java.☆111Updated 3 months ago
- ☆12Updated 3 years ago
- Continuations / CoRoutines for Java 1.6 - 25, build tools, CDI support. This project is based on completely re-worked Apache Jakarta Comm…☆87Updated last month
- A toy IO library for Arend☆18Updated 4 years ago
- A Groovy AST transformation which allows writing the body of a method as bytecode instructions.☆48Updated 8 years ago
- A candidate indexed, linked list data structure for OpenJDK.☆16Updated 2 weeks ago
- ☆39Updated last month
- Purely functional data structures in Java☆39Updated 4 years ago