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 2 weeks ago
• owo-lang / intellij-dtlc
  IntelliJ plugin for several experimental programming languages here
  ☆36Updated 4 years ago
• Glavo / llvm-java
  ☆14Updated 5 years ago
• y1yang0 / yarrow
  [yarrow] JVMCI based optimizing compiler for HotSpot VM
  ☆36Updated 4 years ago
• JetBrains / intellij-arend
  Arend plugin for IntelliJ IDEA
  ☆94Updated 11 months ago
• Dotty-China / dotty-china.github.io
  Scala 3 中文站 网站仓库
  ☆23Updated 4 years ago
• janex-dev / japp
  A new packaging format for Java programs.
  ☆93Updated 2 weeks ago
• ice1000 / jimgui
  Pure Java binding for dear-imgui
  ☆195Updated 2 years ago
• Glavo / module-info-compiler
  ☆17Updated 2 years ago
• typemeta / funcj
  Assorted functional-oriented data structures and algorithms for Java.
  ☆117Updated 2 weeks ago
• ice1000 / Books
  My slides and notes
  ☆139Updated 2 years ago
• Glavo / scala3-library-with-braces
  Scala 3 Standard Library with bracket syntax.
  ☆11Updated 4 years ago
• jon-hanson / parsecj
  Java monadic parser combinator framework for constructing LL(1) parsers
  ☆122Updated 8 months ago
• Glavo / classfile
  A modern Java classfile manipulation and analysis library
  ☆58Updated last year
• UnitTestBot / ksmt
  Kotlin/Java API for various SMT solvers
  ☆36Updated 3 months ago
• graalvm / graal-jvmci-8
  Fork of jdk8u/hotspot with support for JVMCI
  ☆73Updated 3 years ago
• JikesRVM / JikesRVM
  Jikes RVM (Research Virtual Machine)
  ☆419Updated 3 years ago
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆44Updated 9 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
• aya-prover / aya-dev
  A proof assistant and a dependently-typed language
  ☆345Updated last week
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆113Updated 4 years ago
• Glavo / kala-ansi
  ☆13Updated 8 months ago
• Glavo / java-ffi-benchmark
  ☆51Updated 3 months ago
• liquid-java / liquidjava
  Refinement type checker for Java with liquid types and typestates - catch bugs at compile time
  ☆52Updated last week
• MarchLiu / jaskell-java8
  A Pure Java 8 Library for Java8 Projects
  ☆31Updated 2 years ago
• ice1000 / arend-io
  A toy IO library for Arend
  ☆18Updated 4 years ago
• beehive-lab / Maxine-VM
  Maxine VM: A meta-circular research VM
  ☆336Updated 5 years ago
• apache / harmony
  Mirror of Apache Harmony
  ☆91Updated 8 years ago
• qmx / jitescript
  Jitescript - Java API for Bytecode
  ☆192Updated 4 years ago
• radsz / jacop
  Java Constraint Programming solver
  ☆232Updated this week