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 3 weeks ago
• lice-lang / lice
  A multi-paradigm programming language running on JVM
  ☆129Updated 7 years ago
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆113Updated 4 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 8 months 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
• 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
• typemeta / funcj
  Assorted functional-oriented data structures and algorithms for Java.
  ☆117Updated 2 weeks ago
• janex-dev / japp
  A new packaging format for Java programs.
  ☆93Updated 3 weeks ago
• Glavo / module-info-compiler
  ☆17Updated 2 years ago
• jparsec / jparsec
  Build parsers in Java
  ☆350Updated 3 months ago
• kredel / java-algebra-system
  Java Algebra System (JAS) Project
  ☆48Updated last year
• Glavo / classfile
  A modern Java classfile manipulation and analysis library
  ☆58Updated last year
• JikesRVM / JikesRVM
  Jikes RVM (Research Virtual Machine)
  ☆419Updated 3 years ago
• graalvm / graal-jvmci-8
  Fork of jdk8u/hotspot with support for JVMCI
  ☆73Updated 4 years ago
• ice1000 / Books
  My slides and notes
  ☆139Updated 2 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 3 months ago
• zakkak / c1visualizer
  A mirror of the c1visualizer source code http://lafo.ssw.uni-linz.ac.at/c1visualizer/
  ☆15Updated 6 years ago
• UnitTestBot / ksmt
  Kotlin/Java API for various SMT solvers
  ☆36Updated 4 months ago
• ice1000 / jimgui
  Pure Java binding for dear-imgui
  ☆195Updated 2 years ago
• vsilaev / tascalate-javaflow
  Continuations / CoRoutines for Java 1.6 - 25, build tools, CDI support. This project is based on completely re-worked Apache Jakarta Comm…
  ☆89Updated last month
• Glavo / java-ffi-benchmark
  ☆51Updated 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
• radsz / jacop
  Java Constraint Programming solver
  ☆232Updated this week
• ice1000 / text-sequence
  Text sequence data structures
  ☆16Updated 5 years ago
• arend-lang / tutorial-code
  Source code & exercises in Arend's documentation
  ☆21Updated 4 years ago
• aya-prover / aya-dev
  A proof assistant and a dependently-typed language
  ☆345Updated 2 weeks ago
• ice1000 / dev-kt
  Single file Kotlin/Java IDE features in lightweight.
  ☆95Updated 5 years ago