noti0na1 / LambdaCalculus-java
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:
- [yarrow] JVMCI based optimizing compiler for HotSpot VM☆35Updated 3 years ago
- A powerful, easy-to-use, modern Java core library for the future☆62Updated 3 weeks ago
- IntelliJ plugin for several experimental programming languages here☆35Updated 3 years ago
- ☆12Updated 3 years ago
- A multi-paradigm programming language running on JVM☆129Updated 7 years ago
- A modern Java classfile manipulation and analysis library☆55Updated last year
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- ☆16Updated last year
- ☆81Updated 2 months ago
- The official j-- base compiler☆13Updated last week
- Source code & exercises in Arend's documentation☆21Updated 3 years ago
- Java monadic parser combinator framework for constructing LL(1) parsers☆118Updated last year
- ☆37Updated last month
- A new packaging format for Java programs.☆90Updated last month
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆16Updated 2 months ago
- ☆43Updated 3 months ago
- Jscheme (Scheme (in Java (by Peter Norvig)))☆52Updated 6 years ago
- Scala 3 中文站 网站仓库☆23Updated 3 years ago
- Pure java x86 and x86_64 assembler☆67Updated last year
- ☆11Updated 8 months ago
- A Groovy AST transformation which allows writing the body of a method as bytecode instructions.☆48Updated 8 years ago
- A toy IO library for Arend☆18Updated 4 years ago
- This project's lifetime has ended. The successor is https://github.com/thautwarm/frontend-for-free which is WIP. You can check lark-parse…☆40Updated 6 years ago
- Arend plugin for IntelliJ IDEA☆93Updated 2 months ago
- Parser Combinator of java☆10Updated 7 months ago
- Parser Combinator library for Kotlin☆27Updated 6 years ago
- A PLT Redex implementation of Featherweight Java☆16Updated 12 years ago
- A candidate indexed, linked list data structure for OpenJDK.☆17Updated this week
- Recaffeinating Java ☕️ with custom semantics and extensions☆51Updated 3 years ago
- Elaboration with inductive types☆16Updated last year