DSiSc / why3Links
mirror from Project page on Inria Gitlab | Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
☆11Updated 6 years ago
Alternatives and similar repositories for why3
Users that are interested in why3 are comparing it to the libraries listed below
Sorting:
- Supercharge Bittensor Ecosystem with Advanced Mathematical and Logical AI☆13Updated 8 months ago
- ☆8Updated last year
- Conversational Agent for Twitter and Discord☆10Updated this week
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- ☆9Updated 2 years ago
- Chaucha functions for usage with Github Actions☆11Updated 4 years ago
- Terraform framework for deploying [elizaos/eliza, swarms] ai agents☆23Updated last month
- Python tools for the K Framework☆13Updated last year
- memetics and the meta-meme☆8Updated last year
- Streamlined Solana Virtual Machine Integration for High-Performance rollups.☆10Updated 11 months ago
- Python api for agents in minecraft☆10Updated 2 months ago
- Actor-based Runtime Verification Tool☆18Updated 2 years ago
- A extensive list of all the awesome things around Bittensor.☆11Updated last year
- 🏥 Health monitor for a Petals swarm☆39Updated 11 months ago
- This is a release snapshot repo of the Lit Node. Development happens in a private repo and we publish each release here as a snapshot.☆17Updated last month
- an experiment☆11Updated 7 months ago
- ☆24Updated 10 months ago
- zkvot - World's first fully live anonymous voting application!☆19Updated 3 months ago
- System for verifying the correctness of generated Copilot programs☆17Updated 2 months ago
- ☆24Updated this week
- Exercises for the Dafny Tutorial☆11Updated 7 years ago
- The Internet Memes Knowledge Graph☆15Updated 9 months ago
- Examples of Mastermind implemented in different ZK languages and frameworks.☆13Updated 3 months ago
- LLM Oracle is a GPT-4 powered tool for predicting future events. It's like a Magic 8 Ball that is able to perform basic research, calcula…☆17Updated 2 years ago
- Strategic City Development game built on MINA blockchain☆14Updated 3 months ago
- LAR-19642-1: Visual Studio Code Extension for PVS☆45Updated this week
- Polkadot ChatBot☆17Updated 9 months ago
- Dynamic analysis of multithreaded C programs☆13Updated 5 years ago
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆36Updated 10 months ago
- Process for Polymesh Association grant program☆18Updated last year