raymyers / verified-refactoringLinks
Exploring techniques for code refactoring with formal verification
☆10Updated 11 months ago
Alternatives and similar repositories for verified-refactoring
Users that are interested in verified-refactoring are comparing it to the libraries listed below
Sorting:
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆115Updated 2 weeks ago
- An overview of property-based testing functionality☆73Updated 4 months ago
- Spoofax runtime☆149Updated 5 months ago
- ☆44Updated 2 weeks ago
- A compiler, testing bed, and standard library for the Choral programming language.☆32Updated 3 weeks ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- ☆71Updated 5 years ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆81Updated last week
- purple: compiling a reflective language☆33Updated 11 months ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- Runs tests against anything, using command-line arguments, STDIN, STDOUT and STDERR.☆92Updated last year
- Imagine a Dependently Typed Python☆11Updated 6 months ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Updated last year
- An attempt to implement the typing rules of Featherweight Java using Haskell.☆11Updated 13 years ago
- Slog 1.0☆43Updated last year
- formal tools for BPMN☆34Updated 3 months ago
- The rule-based graph programming language GP 2☆69Updated last year
- ☆37Updated last year
- Prolog, Datalog, languages, resources, and beyond!☆32Updated 11 months ago
- Forge: A Tool and Language for Teaching Formal Methods☆89Updated 3 months ago
- The fastest way to build a language☆43Updated 3 years ago
- Alloy with browser-based visualizations☆29Updated 4 years ago
- Relational Algebra at your fingertips☆62Updated 10 years ago
- Proposed documentation for alloytools.org☆71Updated last month
- Fuzzy Aggregators and Similarity Into a Logic Language☆26Updated last year
- The Flix Programming Book☆19Updated 2 weeks ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆46Updated 3 years ago
- Domain Specific Languages for Computational Law☆77Updated 3 months ago
- A tutorial about how to apply property-based testing to stateful systems.☆79Updated 2 years ago
- Alloy*---Higher Order Logic for Alloy☆36Updated 5 years ago