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 2 weeks ago
• 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 4 months ago
• typemeta / funcj
  Assorted functional-oriented data structures and algorithms for Java.
  ☆115Updated 7 months ago
• ice1000 / algo4j
  An algorithm library using java native interface
  ☆68Updated 6 years ago
• JetBrains / intellij-arend
  Arend plugin for IntelliJ IDEA
  ☆93Updated 7 months ago
• arend-lang / tutorial-code
  Source code & exercises in Arend's documentation
  ☆21Updated 4 years ago
• JikesRVM / JikesRVM
  Jikes RVM (Research Virtual Machine)
  ☆416Updated 2 years ago
• ice1000 / dev-kt
  Single file Kotlin/Java IDE features in lightweight.
  ☆95Updated 4 years ago
• Dotty-China / dotty-china.github.io
  Scala 3 中文站 网站仓库
  ☆23Updated 4 years ago
• graalvm / graal-jvmci-8
  Fork of jdk8u/hotspot with support for JVMCI
  ☆74Updated 3 years ago
• aya-prover / aya-dev
  A proof assistant and a dependently-typed language
  ☆328Updated last week
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆113Updated 3 years ago
• Glavo / scala3-library-with-braces
  Scala 3 Standard Library with bracket syntax.
  ☆11Updated 4 years ago
• Glavo / japp
  A new packaging format for Java programs.
  ☆92Updated 6 months ago
• antlr / antlr4-intellij-adaptor
  A library to support the use of ANTLR grammars in jetbrains IDE plugins for building custom languages.
  ☆219Updated 10 months ago
• Glavo / java-ffi-benchmark
  ☆48Updated last week
• Glavo / classfile
  A modern Java classfile manipulation and analysis library
  ☆58Updated last year
• jparsec / jparsec
  Build parsers in Java
  ☆348Updated 3 years ago
• y1yang0 / yarrow
  [yarrow] JVMCI based optimizing compiler for HotSpot VM
  ☆35Updated 4 years ago
• ice1000 / Books
  My slides and notes
  ☆139Updated 2 years 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 6 years ago
• melix / groovy-bytecode-ast
  A Groovy AST transformation which allows writing the body of a method as bytecode instructions.
  ☆48Updated 9 years ago
• ice1000 / text-sequence
  Text sequence data structures
  ☆16Updated 5 years ago
• Glavo / kala-lang
  ☆12Updated 4 years ago
• cesquivias / mumbler
  My experimental programming language using Truffle
  ☆112Updated 5 years ago
• Glavo / module-info-compiler
  ☆17Updated last year
• UnitTestBot / ksmt
  Kotlin/Java API for various SMT solvers
  ☆34Updated last week
• graalvm / mx
  Command-line tool used for the development of Graal projects.
  ☆193Updated last week