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.
☆13Aug 5, 2018Updated 7 years ago
Alternatives and similar repositories for why3
Users that are interested in why3 are comparing it to the libraries listed below
Sorting:
- Open Source Smart Contract Library☆11Oct 11, 2018Updated 7 years ago
- A Gossip switch implementation.☆11Sep 9, 2019Updated 6 years ago
- An implemention of ledger which support customization by config file☆11Sep 9, 2019Updated 6 years ago
- A high-security wallet implemention☆10Nov 1, 2019Updated 6 years ago
- Implementation of producer which is used for efficient block production.☆11Sep 9, 2019Updated 6 years ago
- Middleware of blockchain storage layer accessing☆12Sep 9, 2019Updated 6 years ago
- A light-weight golang API Gateway implement.☆12Dec 3, 2019Updated 6 years ago
- Advanced distributed consensus framework support pluggable algorithms☆15Sep 9, 2019Updated 6 years ago
- Define common types and structures which used frequently☆11Dec 3, 2019Updated 6 years ago
- A high-speed validator verify transaction and block☆14Sep 9, 2019Updated 6 years ago
- A high-performance blockchain transaction pool☆14Sep 9, 2019Updated 6 years ago
- Justitia chain project☆20Sep 26, 2019Updated 6 years ago
- Solana Airdrop Faucet: A simple web application that allows users to receive free SOL tokens on the Solana Devnet. Built with Next.js, th…☆11Sep 22, 2024Updated last year
- B-Spline Density Estimation Library - nonparametric density estimation using B-Spline density estimator from univariate sample.☆16Aug 22, 2021Updated 4 years ago
- Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop☆13Feb 14, 2025Updated last year
- Chaucha functions for usage with Github Actions☆11Sep 18, 2020Updated 5 years ago
- Clover: Closed-Loop Verifiable Code Generation☆42May 12, 2025Updated 9 months ago
- Create immutable infrastructure with IaC technologies at AWS with Terraform and Serverless Framework ☁️ The main services used are Dynamo…☆10Jan 3, 2021Updated 5 years ago
- Handles OpenDocument files and translates them to HTML.☆10Oct 8, 2019Updated 6 years ago
- Website for www.ambitionfund.org, micro-grant program to provide support for underrepresented people who need financial assistance pursui…☆13Jan 6, 2023Updated 3 years ago
- ☆10Dec 24, 2021Updated 4 years ago
- A Python library for building modular, reproducible simulation pipelines in minutes☆32Aug 22, 2025Updated 6 months ago
- プログラミング de 落書きで公開しているコードを共有します☆24Updated this week
- Run very cheap game servers (Minecraft, LinuxGSM, etc) in AWS EC2 Spot instances controlled by Discord slash commands. Manage using Terra…☆13Aug 6, 2025Updated 6 months ago
- This project is used to automatically grab the query results of ChatGPT in batches without manual input. And it supports automatic switch…☆14Feb 28, 2023Updated 3 years ago
- Experimental framework taking inspiration from biological systems, combining compression-based architectures, group theory, and symmetry …☆14Nov 13, 2025Updated 3 months ago
- Code for Tracing Transactions Across Cryptocurrency Ledgers (which focuses on ShapeShift)☆11Oct 15, 2019Updated 6 years ago
- Self service portal for aws workspace☆10Dec 10, 2023Updated 2 years ago
- Fork of Triton repository for OpenXLA uses of the Triton language and compiler☆15Updated this week
- my nix packages☆10Feb 19, 2026Updated last week
- ☆11Feb 14, 2025Updated last year
- a libp2p-backed daemon wrapping the functionalities of go-libp2p for use in other languages☆11Feb 9, 2025Updated last year
- Pump.fun Anchor SDK: IDL & CPI only Solana program (smart contract)☆15Dec 13, 2024Updated last year
- jamstack (js, api, markup) generator. js + css + html boilerplate size ~10kb.☆11Dec 12, 2024Updated last year
- Starting template for serverless wasm using Cloudflare workers☆12Mar 6, 2021Updated 4 years ago
- Examining the conversations on the Linux Kernel Mailing List☆10Feb 8, 2018Updated 8 years ago
- Lecture Notes for Algebra Lectures at the University of Bonn☆14Sep 4, 2024Updated last year
- Conversational Agent for Twitter and Discord☆10Feb 22, 2026Updated last week
- A work in progress theme generator for the UI components by shadcn☆13May 2, 2023Updated 2 years ago