tomokinakamaru / silverchainLinks
Fluent API generator
☆42Updated last month
Alternatives and similar repositories for silverchain
Users that are interested in silverchain are comparing it to the libraries listed below
Sorting:
- A fluent API generator☆26Updated last year
- PEG parser generator for Java 17 - grammar as algebraic datatypes☆66Updated 4 years ago
- Assorted functional-oriented data structures and algorithms for Java.☆116Updated 9 months ago
- Dynamic parser combinators in Java.☆178Updated 3 weeks ago
- Recaffeinating Java ☕️ with custom semantics and extensions☆52Updated 3 years ago
- Java monadic parser combinator framework for constructing LL(1) parsers☆122Updated 6 months ago
- xtext-xtend☆106Updated 2 years ago
- Property-based test framework☆82Updated 3 months ago
- Polyglot Extensible Compiler Framework for Java☆113Updated 3 years ago
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆165Updated this week
- A Java build tool that works seamlessly with modules☆103Updated 4 years ago
- Seven Languages in Seven Weeks (with Xtext)☆72Updated 2 years ago
- "How to Specify it" in Java and jqwik☆26Updated 3 years ago
- Experimental static compiler for Java programs.☆138Updated last week
- JVM Math Language with ANTLR and Graal☆17Updated 5 years ago
- a book about declarative language definition☆23Updated 9 years ago
- A SpotBugs/FindBugs plugin to verify usage of SLF4J☆77Updated 2 years ago
- Implementing the sieve of Eratosthenes in various languages to demonstrate power of GraalVM and Truffle☆28Updated 2 years ago
- Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala☆76Updated 2 years ago
- Tools for type annotations in Java☆40Updated 5 months ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆34Updated 2 years ago
- Resumable exceptions and delimited continuations for JVM☆44Updated 7 months ago
- A Combinatorial Testing + Model-based Testing framework on top of Java+JUnit. Model your application as code and let JCUnit do the rest.☆83Updated 7 months ago
- A place for Microsoft's Java Engineering Group to put OpenJDK JEPs and/or patches before we submit to OpenJDK☆34Updated last year
- An Xtext language and example usage of it built with Maven☆62Updated last week
- Starlasu - A Language Engineering Framework☆114Updated 3 weeks ago
- The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)☆33Updated last month
- adt4j - Algebraic Data Types for Java☆147Updated 7 years ago
- Higher kinded types for Java☆121Updated 3 years ago
- Java bindings for tree-sitter☆128Updated 2 years ago