kframework / k-legacyLinks
The K tools (deprecated, see README)
☆146Updated 7 years ago
Alternatives and similar repositories for k-legacy
Users that are interested in k-legacy are comparing it to the libraries listed below
Sorting:
- Lem semantic definition language☆144Updated 4 months ago
- T2 Temporal Prover☆95Updated 7 years ago
- Kodkod solver for relational logic☆77Updated 2 years ago
- PeaCoq is a pretty Coq, isn't it?☆105Updated 4 years ago
- ☆89Updated 3 years ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆154Updated last month
- A proof of false in Coq.☆98Updated 5 years ago
- ☆33Updated 10 years ago
- History of Programming Languages, Spring 2017☆137Updated 7 years ago
- A web server written in Coq.☆88Updated 9 years ago
- A curated list of awesome Coq frameworks, libraries and software.☆235Updated this week
- Cogent Project☆166Updated 4 months ago
- KJS: A Complete Formal Semantics of JavaScript☆89Updated 8 years ago
- Beautiful, interactive visualizations of logical inference☆147Updated 4 years ago
- git mirror of the Munich isabelle hg repository☆125Updated 3 months ago
- Link to preprints for POPL'18 and colocated events☆87Updated 7 years ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- Randomized Property-Based Testing Plugin for Coq☆267Updated last week
- Coq formalizations of functional languages.☆145Updated 5 years ago
- The symbolic execution engine powering the K Framework☆219Updated 3 weeks ago
- An Introduction to Redex with Abstracting Abstract Machines☆103Updated last year
- Links to publicly available preprints for the POPL'16 conference☆120Updated 8 years ago
- The Ynot Project source code.☆22Updated 11 years ago
- Coq Support for Visual Studio Code☆92Updated 5 years ago
- A minimalistic blockchain consensus implemented and verified in Coq☆113Updated 5 years ago
- Charity language interpreters and literature☆114Updated 6 years ago
- Convert Haskell source code to Coq source code☆281Updated 4 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- Noether programming language☆127Updated 8 years ago
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆148Updated 3 years ago