Alternatives and similar repositories for silverchain

Users that are interested in silverchain are comparing it to the libraries listed below

• OriRoth / fling
  A fluent API generator
  ☆25Updated last year
• OpenJML / OpenJML
  This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…
  ☆159Updated this week
• typemeta / funcj
  Assorted functional-oriented data structures and algorithms for Java.
  ☆114Updated 6 months ago
• zhong-j-yu / rekex
  PEG parser generator for Java 17 - grammar as algebraic datatypes
  ☆66Updated 3 years ago
• cwi-swat / recaf
  Recaffeinating Java ☕️ with custom semantics and extensions
  ☆52Updated 3 years ago
• xtext / seven-languages-xtext
  Seven Languages in Seven Weeks (with Xtext)
  ☆72Updated 2 years ago
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆148Updated last month
• nhatminhle / cofoja
  Contracts for Java
  ☆154Updated 5 years ago
• forax / pro
  A Java build tool that works seamlessly with modules
  ☆104Updated 4 years ago
• qbicc / qbicc
  Experimental static compiler for Java programs.
  ☆138Updated last week
• JetBrains / jetCheck
  Property-based test framework
  ☆82Updated 2 weeks ago
• eclipse-archived / xtext-xtend
  xtext-xtend
  ☆106Updated 2 years ago
• jon-hanson / parsecj
  Java monadic parser combinator framework for constructing LL(1) parsers
  ☆121Updated 3 months ago
• KengoTODA / findbugs-slf4j
  A SpotBugs/FindBugs plugin to verify usage of SLF4J
  ☆76Updated 2 years ago
• highj / highj
  Higher kinded types for Java
  ☆120Updated 3 years ago
• petitparser / java-petitparser
  Dynamic parser combinators in Java.
  ☆176Updated last month
• jspecify / jspecify-reference-checker
  The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)
  ☆29Updated last month
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆113Updated 3 years ago
• usethesource / rascal
  The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…
  ☆430Updated last week
• jyukutyo / JVM-Math-Language
  JVM Math Language with ANTLR and Graal
  ☆17Updated 4 years ago
• xtext / maven-xtext-example
  An Xtext language and example usage of it built with Maven
  ☆62Updated 2 weeks ago
• jlink / how-to-specify-it
  "How to Specify it" in Java and jqwik
  ☆26Updated 3 years ago
• Frege / frege-gradle-plugin
  Gradle plugin for compiling Frege projects
  ☆25Updated 3 years ago
• jtulach / sieve
  Implementing the sieve of Eratosthenes in various languages to demonstrate power of GraalVM and Truffle
  ☆28Updated 2 years ago
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆76Updated 2 years ago
• benjiman / java-html-dsl
  DSL for writing HTML in Java
  ☆66Updated 4 years ago
• Strumenta / kolasu
  Kotlin Language Support – AST Library
  ☆113Updated last week
• grooviter / asteroid
  A set of utilities to create Groovy AST transformations
  ☆29Updated 2 years ago
• ocadaruma / tlaplus-intellij-plugin
  Intellij plugin for TLA+ formal specification language.
  ☆59Updated 4 months ago
• openjdk / amber-docs
  https://openjdk.org/projects/amber
  ☆145Updated 3 months ago