charlesgery / viseagullLinks
☆14Updated 4 years ago
Alternatives and similar repositories for viseagull
Users that are interested in viseagull are comparing it to the libraries listed below
Sorting:
- AWS Encryption SDK☆53Updated this week
- ☆44Updated last week
- Definitional implementation of Cedar language and utilities for DRT☆138Updated this week
- LaTeX source for Sized Dependent Types via Extensional Type Theory☆12Updated 2 years ago
- TurnKey artifact for Z3☆39Updated this week
- JaTyC: a typestate checker for Java☆17Updated last month
- Old Clowdr versions 1 & 2 from 2020☆36Updated 4 years ago
- PL conference deadline countdowns☆62Updated last month
- Proof assistant based on first-order logic and set theory☆63Updated this week
- Verifying the SCION architecture using Gobra☆11Updated 3 weeks ago
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆45Updated 7 months ago
- TLA+ questions, answers, and experiments☆23Updated 3 years ago
- SMTInterpol interpolating SMT solver☆68Updated last week
- The VerCors verification toolset for verifying parallel and concurrent software☆80Updated 2 weeks ago
- A collaborative bibliography of papers related to property-based testing☆15Updated this week
- Syng: A syntactic approach to concurrent separation logic with propositional ghost state, fully mechanized in Agda☆12Updated 2 years ago
- ☆12Updated 8 months ago
- A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development sna…☆148Updated last week
- Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …☆47Updated 2 years ago
- Coq library on rewriting theory and termination☆37Updated 2 months ago
- SMTscope automatically analyses and visualises SMT solver execution traces.☆42Updated last week
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆43Updated 2 years ago
- ☆83Updated 7 months ago
- Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]☆16Updated 4 months ago
- High level commands to declare a hierarchy based on packed classes☆102Updated this week
- Some basic libraries for Coq.☆14Updated last month
- Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd]☆39Updated 5 months ago
- Type checking ifdef variability☆79Updated 4 years ago
- ☆53Updated last week
- Graph Theory [maintainers=@chdoc,@damien-pous]☆39Updated last month