informalsystems / quintLinks
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
☆969Updated this week
Alternatives and similar repositories for quint
Users that are interested in quint are comparing it to the libraries listed below
Sorting:
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆241Updated 2 weeks ago
- APALACHE: symbolic model checker for TLA+ and Quint☆476Updated this week
- Data interchange with algebraic data types.☆626Updated last month
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆828Updated last year
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,285Updated last week
- Learn TLA+ for free! No prior experience necessary!☆218Updated 4 months ago
- ☆495Updated last year
- A curated list of TLA+ resources.☆149Updated last year
- A modern supercompiler for call-by-value functional languages☆422Updated 3 months ago
- Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦☆956Updated this week
- A functional, content-addressable programming language.☆440Updated last week
- Proving leftpad correct two-dozen different ways☆685Updated 3 months ago
- An efficient, secure cryptocomputer☆615Updated last year
- Systems language with linear types and capability-based security.☆1,366Updated last week
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆426Updated this week
- TLA+ snippets, operators, and modules contributed and curated by the TLA+ community☆289Updated 2 months ago
- Add hardship to your tests☆1,014Updated last week
- Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.☆132Updated last week
- Creusot helps you prove your code is correct in an automated fashion.☆1,309Updated this week
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆651Updated last month
- Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from findin…☆777Updated last month
- Hazel, a live functional programming environment with typed holes☆1,009Updated this week
- A curated list of awesome deterministic simulation testing resources 😎☆201Updated last month
- TLA+ language support for Visual Studio Code☆386Updated last week
- A model checker for implementing distributed systems.☆1,687Updated last week
- A high-level distributed programming framework for Rust☆955Updated this week
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆493Updated 9 months ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆178Updated 4 years ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,132Updated 4 months ago
- A gently curated list of companies using verification formal methods in industry☆559Updated 5 months ago