seba-- / sugarjLinks
Library-based Language Extensibility
☆39Updated 10 years ago
Alternatives and similar repositories for sugarj
Users that are interested in sugarj are comparing it to the libraries listed below
Sorting:
- Core components for the Scribble Java tools☆56Updated 9 months ago
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated last week
- Extensible stream pipelines with object algebras.☆26Updated 10 years ago
- Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala☆76Updated last year
- ☆13Updated 5 years ago
- ☆23Updated 11 years ago
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- A library for Proof Theory (especially Proof Compression) in Scala.☆34Updated 7 years ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- Recaffeinating Java ☕️ with custom semantics and extensions☆51Updated 3 years ago
- Resumable exceptions and delimited continuations for JVM☆44Updated 2 months ago
- ☆57Updated 8 years ago
- JVM bytecode assembler as REST api☆10Updated last year
- A Framework for building Distributed Consensus Protocols☆10Updated 7 years ago
- Orc programming language implementation☆44Updated 3 years ago
- Algebraic Data Type Code Generator for Java and Apache Maven☆21Updated last year
- A spoonful of ADT in your Java.☆49Updated 2 years ago
- Scala Algebra System☆16Updated 2 months ago
- GUI for the frege repl☆25Updated 8 years ago
- Functional Programming Design Patterns☆16Updated 7 years ago
- The mm-ADT Virtual Machine☆34Updated 4 years ago
- A recursive ascent/descent parser generator for Scala☆33Updated 2 years ago
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Updated last year
- A language for data modeling and incremental computing of derived values☆11Updated last year
- Focused and purely functional event sourcing library for Java☆14Updated 8 years ago
- gemoc-studio☆28Updated 4 months ago
- A new query language designed for building composable and reproducible data processing pipelines☆13Updated 10 months ago
- Kodkod solver for relational logic☆77Updated 2 years ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆47Updated 3 years ago
- generative programming & verification☆33Updated 3 weeks ago