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
- Java monadic parser combinator framework for constructing LL(1) parsers☆122Updated 7 months ago
- Scala 3 Standard Library with bracket syntax.☆11Updated 4 years ago
- An algorithm library using java native interface☆67Updated 6 years ago
- Polyglot Extensible Compiler Framework for Java☆114Updated 3 years ago
- Arend plugin for IntelliJ IDEA☆94Updated 10 months ago
- Assorted functional-oriented data structures and algorithms for Java.☆116Updated 9 months ago
- A proof assistant and a dependently-typed language☆344Updated last week
- My slides and notes☆139Updated 2 years ago
- ☆39Updated last month
- Scala 3 中文站 网站仓库☆23Updated 4 years ago
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- My experimental programming language using Truffle☆113Updated 5 years ago
- A simple example of a parser built with ANTLR☆40Updated 11 years ago
- A modern Java classfile manipulation and analysis library☆58Updated last year
- The Arend Proof Assistant☆735Updated 10 months ago
- Resumable exceptions and delimited continuations for JVM☆44Updated 7 months ago
- Jikes RVM (Research Virtual Machine)☆419Updated 3 years ago
- Build parsers in Java☆350Updated 2 months ago
- Parser Combinator library for Kotlin☆27Updated 7 years ago
- Jscheme (Scheme (in Java (by Peter Norvig)))☆52Updated 7 years ago
- A new packaging format for Java programs.☆93Updated 2 months ago
- 这是Haskell函数式编程入门第2版的源码☆84Updated 7 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…☆41Updated 7 years ago
- [yarrow] JVMCI based optimizing compiler for HotSpot VM☆36Updated 4 years ago
- Purely functional data structures in Java☆39Updated 4 years ago
- https://openjdk.org/projects/jdk/15 released 2020-09-15☆39Updated 5 years ago
- String matching algorithms for searching a single or multiple strings in large texts☆48Updated last year