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
- A powerful, easy-to-use, modern Java core library for the future☆64Updated this week
- A modern Java classfile manipulation and analysis library☆55Updated 10 months ago
- Java monadic parser combinator framework for constructing LL(1) parsers☆116Updated 9 months ago
- Assorted functional-oriented data structures and algorithms for Java.☆108Updated 2 months ago
- IntelliJ plugin for several experimental programming languages here☆35Updated 3 years ago
- [yarrow] JVMCI based optimizing compiler for HotSpot VM☆35Updated 3 years ago
- A candidate indexed, linked list data structure for OpenJDK.☆17Updated 2 months ago
- ☆16Updated last year
- ☆80Updated this week
- https://openjdk.org/projects/jdk/15 released 2020-09-15☆39Updated 4 years ago
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆15Updated 3 weeks ago
- Source code & exercises in Arend's documentation☆21Updated 3 years ago
- Mem Ops for Java is a memory manager / allocator for use in systems requiring steady state memory consumption (as little garbage collecti…☆43Updated 4 years ago
- Purely functional data structures in Java☆39Updated 3 years ago
- ☆36Updated last week
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- ☆19Updated 3 years ago
- ☆13Updated 5 months ago
- Parser Combinator of java☆10Updated 4 months ago
- Arend plugin for IntelliJ IDEA☆93Updated this week
- https://openjdk.org/projects/tsan☆27Updated this week
- Java Macro Library☆23Updated 3 years ago
- My experimental programming language using Truffle☆110Updated 4 years ago
- Kotlin Language Support – AST Library☆112Updated last week
- Recaffeinating Java ☕️ with custom semantics and extensions☆51Updated 2 years ago
- ☆12Updated 2 years ago
- Master repository for the JHeaps project☆47Updated 3 years ago
- Java Constraint Programming solver☆221Updated last year
- Intellij plugin that shows an object layout in memory to help optimize it. Uses OpenJDK JOL tool☆143Updated 5 months ago
- IntelliJ IDEA plugin for Frege language☆40Updated 2 years ago