Alternatives and similar repositories for LambdaCalculus-java

Users that are interested in LambdaCalculus-java are comparing it to the libraries listed below

• Glavo / kala-common
  A powerful, easy-to-use, modern Java core library for the future
  ☆62Updated this week
• lice-lang / lice
  A multi-paradigm programming language running on JVM
  ☆129Updated 7 years ago
• owo-lang / intellij-dtlc
  IntelliJ plugin for several experimental programming languages here
  ☆36Updated 4 years ago
• jon-hanson / parsecj
  Java monadic parser combinator framework for constructing LL(1) parsers
  ☆122Updated 6 months ago
• JetBrains / intellij-arend
  Arend plugin for IntelliJ IDEA
  ☆94Updated 9 months ago
• typemeta / funcj
  Assorted functional-oriented data structures and algorithms for Java.
  ☆116Updated 9 months ago
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆113Updated 3 years ago
• y1yang0 / yarrow
  [yarrow] JVMCI based optimizing compiler for HotSpot VM
  ☆36Updated 4 years ago
• ice1000 / algo4j
  An algorithm library using java native interface
  ☆67Updated 6 years ago
• Dotty-China / dotty-china.github.io
  Scala 3 中文站 网站仓库
  ☆23Updated 4 years ago
• ice1000 / dev-kt
  Single file Kotlin/Java IDE features in lightweight.
  ☆95Updated 4 years ago
• cwi-swat / recaf
  Recaffeinating Java ☕️ with custom semantics and extensions
  ☆52Updated 3 years ago
• racket / eopl
  ☆39Updated 2 weeks ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 years ago
• antlr / antlr4-intellij-adaptor
  A library to support the use of ANTLR grammars in jetbrains IDE plugins for building custom languages.
  ☆221Updated last year
• Glavo / scala3-library-with-braces
  Scala 3 Standard Library with bracket syntax.
  ☆11Updated 4 years ago
• arend-lang / tutorial-code
  Source code & exercises in Arend's documentation
  ☆21Updated 4 years ago
• Glavo / llvm-java
  ☆14Updated 4 years ago
• aya-prover / aya-dev
  A proof assistant and a dependently-typed language
  ☆345Updated this week
• qmx / jitescript
  Jitescript - Java API for Bytecode
  ☆190Updated 4 years ago
• eclipse-archived / xtext-xtend
  xtext-xtend
  ☆106Updated 2 years ago
• Glavo / classfile
  A modern Java classfile manipulation and analysis library
  ☆58Updated last year
• graalvm / graal-jvmci-8
  Fork of jdk8u/hotspot with support for JVMCI
  ☆74Updated 3 years ago
• absurdhero / parsekt
  Parser Combinator library for Kotlin
  ☆27Updated 7 years ago
• ice1000 / Books
  My slides and notes
  ☆139Updated 2 years ago
• radsz / jacop
  Java Constraint Programming solver
  ☆230Updated 2 years ago
• JikesRVM / JikesRVM
  Jikes RVM (Research Virtual Machine)
  ☆418Updated 3 years ago
• jparsec / jparsec
  Build parsers in Java
  ☆349Updated last month
• ice1000 / jimgui
  Pure Java binding for dear-imgui
  ☆193Updated 2 years ago
• keyz / p423-compiler
  A Scheme to x86-64 compiler in Scheme
  ☆81Updated 10 years ago