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 3 weeks ago
- IntelliJ plugin for several experimental programming languages here☆36Updated 4 years ago
- A multi-paradigm programming language running on JVM☆129Updated 7 years ago
- Assorted functional-oriented data structures and algorithms for Java.☆115Updated 8 months ago
- Java monadic parser combinator framework for constructing LL(1) parsers☆122Updated 5 months ago
- Arend plugin for IntelliJ IDEA☆93Updated 8 months ago
- ☆17Updated last year
- A modern Java classfile manipulation and analysis library☆58Updated last year
- Single file Kotlin/Java IDE features in lightweight.☆95Updated 4 years ago
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆16Updated last week
- [yarrow] JVMCI based optimizing compiler for HotSpot VM☆35Updated 4 years ago
- Scala 3 中文站 网站仓库☆23Updated 4 years ago
- ☆10Updated 6 years ago
- Polyglot Extensible Compiler Framework for Java☆113Updated 3 years ago
- Source code & exercises in Arend's documentation☆21Updated 4 years ago
- Fork of jdk8u/hotspot with support for JVMCI☆74Updated 3 years ago
- Purely functional data structures in Java☆39Updated 4 years ago
- IntelliJ IDEA plugin for Frege language☆39Updated 3 years ago
- Jscheme (Scheme (in Java (by Peter Norvig)))☆52Updated 7 years ago
- Parser Combinator library for Kotlin☆27Updated 7 years ago
- String matching algorithms for searching a single or multiple strings in large texts☆47Updated last year
- ☆14Updated 4 years ago
- Text sequence data structures☆16Updated 5 years ago
- My experimental programming language using Truffle☆112Updated 5 years ago
- ObjectWeb ASM - bytecode verifier and utilities☆67Updated 12 years ago
- Build parsers in Java☆348Updated 2 weeks ago
- Jikes RVM (Research Virtual Machine)☆417Updated 3 years ago
- A Groovy AST transformation which allows writing the body of a method as bytecode instructions.☆48Updated 9 years ago
- ☆11Updated last year
- ANTLR as a libray for JVM based languages☆108Updated 2 years ago