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
  ☆63Updated last 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
• janex-dev / japp
  A new packaging format for Java programs.
  ☆93Updated last week
• JikesRVM / JikesRVM
  Jikes RVM (Research Virtual Machine)
  ☆419Updated 3 years ago
• jon-hanson / parsecj
  Java monadic parser combinator framework for constructing LL(1) parsers
  ☆122Updated 7 months ago
• JetBrains / intellij-arend
  Arend plugin for IntelliJ IDEA
  ☆94Updated 11 months ago
• ice1000 / algo4j
  An algorithm library using java native interface
  ☆67Updated 6 years ago
• aya-prover / aya-dev
  A proof assistant and a dependently-typed language
  ☆345Updated this week
• Glavo / classfile
  A modern Java classfile manipulation and analysis library
  ☆58Updated last year
• ice1000 / text-sequence
  Text sequence data structures
  ☆16Updated 5 years ago
• y1yang0 / yarrow
  [yarrow] JVMCI based optimizing compiler for HotSpot VM
  ☆36Updated 4 years ago
• ice1000 / jimgui
  Pure Java binding for dear-imgui
  ☆194Updated 2 years ago
• JetBrains / Arend
  The Arend Proof Assistant
  ☆736Updated 11 months ago
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆114Updated 4 years ago
• llbit / ow2-asm
  ObjectWeb ASM - bytecode verifier and utilities
  ☆68Updated 12 years ago
• ice1000 / dev-kt
  Single file Kotlin/Java IDE features in lightweight.
  ☆95Updated 5 years ago
• ice1000 / Books
  My slides and notes
  ☆139Updated 2 years ago
• reborg / jscheme
  Jscheme (Scheme (in Java (by Peter Norvig)))
  ☆52Updated 7 years ago
• jparsec / jparsec
  Build parsers in Java
  ☆350Updated 3 months ago
• thautwarm / RBNF
  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
• typemeta / funcj
  Assorted functional-oriented data structures and algorithms for Java.
  ☆116Updated 3 weeks ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 years ago
• Glavo / scala3-library-with-braces
  Scala 3 Standard Library with bracket syntax.
  ☆11Updated 4 years ago
• ice1000 / CompilerWorks
  编译原理相关的工作岗位收集
  ☆88Updated 7 years ago
• antlr / antlr4-intellij-adaptor
  A library to support the use of ANTLR grammars in jetbrains IDE plugins for building custom languages.
  ☆220Updated last year
• UnitTestBot / ksmt
  Kotlin/Java API for various SMT solvers
  ☆36Updated 3 months ago
• ice1000 / arend-io
  A toy IO library for Arend
  ☆18Updated 4 years ago
• forax / write_your_dynamic_language_runtime
  How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM
  ☆16Updated 2 months ago
• Dotty-China / dotty-china.github.io
  Scala 3 中文站 网站仓库
  ☆23Updated 4 years ago