alloy-js / sterling
Alloy with browser-based visualizations
☆27Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for sterling
- The source for "Compiling with Dependent Types" (my dissertation)☆30Updated 2 years ago
- miniKanren with a first-order representation of the search space☆16Updated 4 months ago
- Notes and handouts from OPLSS 2018☆53Updated 6 years ago
- A model checker for relational first-order temporal specifications☆27Updated 3 years ago
- ☆15Updated 3 years ago
- A template set for writing semantics in LaTeX☆11Updated 9 years ago
- ☆11Updated 7 years ago
- Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)☆29Updated 7 years ago
- A Redex model of CIC as specified in Chapter 4 of the Coq reference manual.☆33Updated 7 years ago
- A Redex tutorial with a focus on how to do work in Redex☆11Updated last month
- generative programming & verification☆32Updated 3 years ago
- ☆29Updated 9 years ago
- Deadlock freedom by type checking☆19Updated last year
- Designing Programs with Class☆26Updated 6 years ago
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆41Updated 4 months ago
- Prolog, Datalog, languages, resources, and beyond!☆22Updated 3 weeks ago
- Interpreter for the reversible functional language rFun☆35Updated 6 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆101Updated 8 months ago
- DOrder -- Automatically Learning Shape Specifications☆20Updated 7 years ago
- ☆10Updated 5 years ago
- Compilation and Verification of Data-Centric Languages☆56Updated 4 months ago
- Template project for program verification in Coq, showcasing reasoning on CompCert's Clight language using the Verified Software Toolchai…☆29Updated 3 months ago
- A book about datalog☆12Updated last year
- ☆80Updated 6 months ago
- The SAW core language.☆54Updated 3 years ago
- A Gradual Dependently-typed Language☆14Updated 5 years ago
- Yet another haskell term rewriting library☆18Updated 6 months ago
- ☆28Updated last year
- Hahn: A Coq library☆30Updated 5 months ago
- Coq library for working with de Bruijn indices [maintainer=@KevOrr]☆30Updated 3 years ago