informalsystems / quintLinks
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
☆933Updated this week
Alternatives and similar repositories for quint
Users that are interested in quint are comparing it to the libraries listed below
Sorting:
- APALACHE: symbolic model checker for TLA+ and Quint☆464Updated 3 weeks ago
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆223Updated this week
- Data interchange with algebraic data types.☆617Updated 2 weeks ago
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,265Updated last week
- Proving leftpad correct two-dozen different ways☆674Updated last month
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆824Updated last year
- A model checker for implementing distributed systems.☆1,643Updated 3 weeks ago
- Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦☆911Updated this week
- A high-level distributed programming framework for Rust☆915Updated this week
- Add hardship to your tests☆985Updated 2 weeks ago
- TLA+ snippets, operators, and modules contributed and curated by the TLA+ community☆285Updated 2 weeks ago
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆642Updated 3 weeks ago
- ☆496Updated 11 months ago
- Creusot helps you prove your code is correct in an automated fashion.☆1,272Updated last week
- A modern supercompiler for call-by-value functional languages☆414Updated last month
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆492Updated 7 months ago
- Systems language with linear types and capability-based security.☆1,324Updated 3 weeks ago
- A curated list of TLA+ resources.☆143Updated 11 months ago
- Learn TLA+ for free! No prior experience necessary!☆212Updated 2 months ago
- A modern proof language☆3,674Updated 4 months ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,117Updated 2 months ago
- Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.☆125Updated this week
- An efficient, secure cryptocomputer☆618Updated last year
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,647Updated 2 weeks ago
- Logic programming in Rust☆467Updated 3 weeks ago
- TLA+ language support for Visual Studio Code☆381Updated last week
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆245Updated this week
- A gently curated list of companies using verification formal methods in industry☆540Updated 3 months ago
- A functional, content-addressable programming language.☆431Updated 3 weeks ago
- A fast and lightweight native programming language☆1,292Updated last week