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.
☆12Updated 7 years ago
Alternatives and similar repositories for why3
Users that are interested in why3 are comparing it to the libraries listed below
Sorting:
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆37Updated last year
- ☆17Updated last year
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- ☆13Updated 2 years ago
- a decentralized dataset generator and manipulator.☆11Updated this week
- Graph-based neural tactic prediction models for Coq.☆14Updated last month
- Terraform framework for deploying [elizaos/eliza, swarms] ai agents☆24Updated 4 months ago
- Make your zero-knowledge circuits safe with formal verification! 🍀☆23Updated last week
- A framework for the creation of autonomous agent services.☆108Updated this week
- Verify Cairo contracts in Lean 4☆16Updated 5 months ago
- ☆13Updated last week
- Athena is a modern, practical language for proof engineering & natural deduction.☆74Updated 3 months ago
- Connecting Everyone to Funding☆17Updated last year
- zkvot - World's first fully live anonymous voting application!☆23Updated 7 months ago
- An EVM interpreter in Dafny☆132Updated last year
- Repository of papers released by Modulus Labs☆12Updated last year
- ElizaOS agent powered by Knowledge Graph memories. Based on the ElizaOS plugin enabling integration with the OriginTrail Decentralized Kn…☆38Updated 3 weeks ago
- Supercharge Bittensor Ecosystem with Advanced Mathematical and Logical AI☆13Updated last year
- Rust bindings to GAP (Groups, Algorithms, Programming)☆28Updated 2 years ago
- Set up an access point to your Bittensor Validator.☆14Updated last year
- Conversational Agent for Twitter and Discord☆10Updated 3 weeks ago
- Clover: Closed-Loop Verifiable Code Generation☆36Updated 5 months ago
- Regexp based tool for mutating generic source code across numerous languages☆147Updated last year
- ☆66Updated last year
- Finite Fields and Curves in Lean☆13Updated 2 years ago
- Solidity contracts for the decentralized Prime Network protocol☆27Updated 4 months ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆72Updated 2 years ago
- Open Source Chat Interface For Web3 Wallets, Dapps, & Smart Contracts☆38Updated last year
- Trader agent for AI prediction markets on Gnosis☆61Updated this week
- experimental solidity compiler☆54Updated this week