tomokinakamaru / silverchain

Related projects ⓘ

Alternatives and complementary repositories for silverchain

• OriRoth / fling
  A fluent API generator
  ☆24Updated 9 months ago
• cwi-swat / recaf
  Recaffeinating Java ☕️ with custom semantics and extensions
  ☆51Updated 2 years ago
• eclipse / xsemantics
  Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…
  ☆32Updated 11 months ago
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆39Updated 3 months ago
• forax / pro
  A Java build tool that works seamlessly with modules
  ☆103Updated 3 years ago
• biboudis / streamalg
  Extensible stream pipelines with object algebras.
  ☆26Updated 9 years ago
• jyukutyo / JVM-Math-Language
  JVM Math Language with ANTLR and Graal
  ☆17Updated 3 years ago
• jtulach / sieve
  Implementing the sieve of Eratosthenes in various languages to demonstrate power of GraalVM and Truffle
  ☆28Updated last year
• simonis / cl4cds
  Documentation and Tools for the OpenJDK Class Data and Application Class Data Sharing (CDS/AppCDS) features
  ☆28Updated 6 years ago
• wernsey / Jatalog
  Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
  ☆77Updated 6 years ago
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆108Updated 2 years ago
• JamesIry / jADT
  A spoonful of ADT in your Java.
  ☆49Updated last year
• highj / highj
  Higher kinded types for Java
  ☆114Updated 2 years ago
• typemeta / funcj
  Assorted functional-oriented data structures and algorithms for Java.
  ☆106Updated last month
• rpau / javalang
  Java 8 parser
  ☆22Updated last year
• ocadaruma / tlaplus-intellij-plugin
  Intellij plugin for TLA+ formal specification language.
  ☆52Updated last week
• zhong-j-yu / rekex
  PEG parser generator for Java 17 - grammar as algebraic datatypes
  ☆59Updated 2 years ago
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆32Updated this week
• xtext / maven-xtext-example
  An Xtext language and example usage of it built with Maven
  ☆61Updated this week
• seba-- / sugarj
  Library-based Language Extensibility
  ☆39Updated 10 years ago
• sviperll / adt4j
  adt4j - Algebraic Data Types for Java
  ☆144Updated 6 years ago
• jdmota / java-typestate-checker
  JaTyC: a typestate checker for Java
  ☆15Updated last week
• MetaBorgCube / declare-your-language
  a book about declarative language definition
  ☆23Updated 8 years ago
• ainslec / picocog
  A tiny code generation library (< 8 KB) written in Java, useful for any purpose, but ideal for JSR-269
  ☆87Updated 3 years ago
• grooviter / asteroid
  A set of utilities to create Groovy AST transformations
  ☆29Updated last year
• headius / invokebinder
  A Java DSL for binding method handles forward, rather than backward
  ☆106Updated 7 months ago
• abstools / abstools
  The ABS modeling language and surrounding tools
  ☆36Updated 2 weeks ago
• jon-hanson / parsecj
  Java monadic parser combinator framework for constructing LL(1) parsers
  ☆114Updated 6 months ago
• Frege / frege-gradle-plugin
  Gradle plugin for compiling Frege projects
  ☆25Updated 2 years ago