ikuraj / alloy
A language and tool for relational models
☆12Updated 7 years ago
Related projects: ⓘ
- An implementation of derivative parsing in the parser combinator framework☆59Updated 13 years ago
- Kodkod solver for relational logic☆72Updated last year
- Frege Translation of "Learn You a Haskell for Great Good!."☆50Updated 8 years ago
- A spoonful of ADT in your Java.☆49Updated last year
- Java Code Generator for Idris☆71Updated 8 years ago
- ☆57Updated 7 years ago
- prototyping logic programming in Scala☆40Updated 2 years ago
- ☆12Updated 4 years ago
- Core components for the Scribble Java tools☆55Updated 3 years ago
- (Abstract) Abstract Machine Experiments using Scala☆33Updated 3 years ago
- ☆10Updated this week
- Examples of the book "Real World Haskell" in the Frege programming language☆69Updated 8 years ago
- Extensible stream pipelines with object algebras.☆26Updated 9 years ago
- ☆44Updated this week
- Purely functional, persistent and efficient vector and hash-map data structures for Haskell☆45Updated 6 years ago
- A JVM bytecode assembler written in Haskell.☆36Updated 8 years ago
- The eclipse plugin for frege, codename fregIDE☆30Updated 5 years ago
- Using QuickCheck to test functions in other languages/environments.☆32Updated 9 years ago
- Fast Parser Combinators☆27Updated 9 years ago
- Algebraic Graphs in Scala☆26Updated 3 years ago
- Alloy with browser-based visualizations☆26Updated 3 years ago
- Left-leaning red-black trees☆48Updated 12 years ago
- A library for developing languages with scoped binders (like forall or lambda).☆28Updated 6 years ago
- Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala☆74Updated last year
- Scala implementation of ILC, with benchmarks☆25Updated 8 years ago
- Implementing Abstract Binding Trees (in Scala, ...)☆19Updated 8 years ago
- ☆83Updated 11 years ago
- A Scala library which talks to Isabelle (DISCONTINUED)☆38Updated 3 years ago
- generative programming & verification☆30Updated 2 years ago
- Formalization of the Dependent Object Types (DOT) calculus☆62Updated 2 years ago