Alternatives and similar repositories for why3

Users that are interested in why3 are comparing it to the libraries listed below

• bit-current / DistributedTraining
  ☆8Updated last year
• fabhed / validator-endpoint
  Set up an access point to your Bittensor Validator.
  ☆14Updated last year
• jmikedupont2 / ai-agent-terraform
  Terraform framework for deploying [elizaos/eliza, swarms] ai agents
  ☆23Updated last month
• Nexus2k / polkadot-ansible
  Tools to deploy a Polkadot/Kusama validator node.
  ☆10Updated 7 months ago
• IBM / graph2tac
  Graph-based neural tactic prediction models for Coq.
  ☆14Updated 3 months ago
• SmartAgentProtocol / SmartAgents
  Open Source Chat Interface For Web3 Wallets, Dapps, & Smart Contracts
  ☆37Updated last year
• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆37Updated 11 months ago
• swipelux / zeroid-widget
  ☆18Updated last year
• gensyn-ai / repops-demo
  Ensures bitwise reproducibility of ML operations across different hardware targets.
  ☆15Updated 5 months ago
• Sifchain / sa-eliza
  Conversational Agent for Twitter and Discord
  ☆10Updated 3 weeks ago
• tileville / tileville
  Strategic City Development game built on MINA blockchain
  ☆14Updated 3 months ago
• grantrapp / grantr
  Connecting Everyone to Funding
  ☆16Updated last year
• OriginTrail / elizagraph
  ElizaOS agent powered by Knowledge Graph memories. Based on the ElizaOS plugin enabling integration with the OriginTrail Decentralized Kn…
  ☆36Updated 2 months ago
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆14Updated 3 years ago
• namoray / vision
  ☆25Updated 11 months ago
• 0-5788719150923125 / vtx
  an experiment
  ☆11Updated 7 months ago
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆28Updated 2 years ago
• AIT-Protocol / einstein-ait-prod
  Supercharge Bittensor Ecosystem with Advanced Mathematical and Logical AI
  ☆13Updated 9 months ago
• learnbittensor / awesome-bittensor
  A extensive list of all the awesome things around Bittensor.
  ☆11Updated last year
• PrimeIntellect-ai / prime-cli
  The Prime Intellect CLI provides a powerful command-line interface for managing GPU resources across various providers
  ☆30Updated this week
• valory-xyz / trader
  Trader agent for AI prediction markets on Gnosis
  ☆58Updated last week
• lindy-labs / aegis
  Verify Cairo contracts in Lean 4
  ☆14Updated 2 months ago
• hyperspaceai / HyperspaceZK
  👾 DX-focused decentralized zero-knowledge framework 🛸
  ☆40Updated last year
• valory-xyz / open-autonomy
  A framework for the creation of autonomous agent services.
  ☆107Updated this week
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆35Updated 3 months ago
• commune-ai / subspace
  commune-ai blockchain node
  ☆14Updated last month
• trueagi-io / Vereya
  Python api for agents in minecraft
  ☆10Updated 2 months ago
• Stanford-Blockchain-Club / treehouse-sdk
  Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop
  ☆13Updated 5 months ago
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆70Updated 2 years ago
• o1-labs / o1js-bindings
  Bindings for o1js to lower layers of the proof system and the Mina transaction logic
  ☆13Updated 3 months ago