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. We may earn a commission when you buy through links labeled 'Ad' on this page.
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
- Middleware of blockchain storage layer accessing☆12Sep 9, 2019Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Implementation of producer which is used for efficient block production.☆11Sep 9, 2019Updated 6 years ago
- A light-weight golang API Gateway implement.☆12Dec 3, 2019Updated 6 years ago
- A high-speed validator verify transaction and block☆14Sep 9, 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
- Justitia chain project☆20Sep 26, 2019Updated 6 years ago
- A high-performance blockchain transaction pool☆14Sep 9, 2019Updated 6 years ago
- Implement bluestore in golang☆13Jan 6, 2020Updated 6 years ago
- 京东猪脸识别☆20Dec 30, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A work in progress theme generator for the UI components by shadcn☆13May 2, 2023Updated 2 years ago
- My personal website☆11Mar 11, 2026Updated last month
- Tools for testing C compilers for the correct handling of volatile objects.☆32Jul 18, 2014Updated 11 years ago
- Configuration files for the ODRI uDriver firmware.☆11Nov 15, 2022Updated 3 years ago
- This is the Lola-2 parser used by LolaCreator☆14Apr 24, 2019Updated 6 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- Fork of Triton repository for OpenXLA uses of the Triton language and compiler☆15Feb 24, 2026Updated last month
- Openfst mirror with some fixes☆15Aug 23, 2024Updated last year
- 线上商品浏览及线下交易系统，包括用户手机端「Android」，商家电脑端「.NET」等。主要实现：用户浏览商品信息，选择有意向的商品并提交订单信息，之后商家和用户在线下完成商品交易☆44Feb 27, 2022Updated 4 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- POV templates and compilation support for CGC binaries.☆10May 19, 2022Updated 3 years ago
- Extract structured data from documents, images, audio, and video using LLMs.☆16Updated this week
- B-Spline Density Estimation Library - nonparametric density estimation using B-Spline density estimator from univariate sample.☆16Aug 22, 2021Updated 4 years ago
- ☆11Dec 1, 2017Updated 8 years ago
- Jupyter notebooks from our weekly (or so) hackathons☆11Dec 3, 2024Updated last year
- Interactive Theorem Proving course using HOL4☆13Mar 27, 2026Updated 2 weeks ago
- Oldest Delphi sources of crypto-application (find in web archive)☆10Nov 23, 2016Updated 9 years ago
- Automatically exported from code.google.com/p/apv☆11Apr 29, 2015Updated 10 years ago
- GN meta-build system parser, static code model and navigable code browser☆13Aug 8, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Code for Tracing Transactions Across Cryptocurrency Ledgers (which focuses on ShapeShift)☆11Oct 15, 2019Updated 6 years ago
- CFE virtual competition framework☆14Feb 1, 2017Updated 9 years ago
- SDK for building cross-platform desktop apps in ANSI-C☆13Jan 6, 2023Updated 3 years ago
- Cairo lua bindings with extensions for torch☆15Jun 12, 2016Updated 9 years ago
- A convenient D wrapper around JNI.☆14Jul 6, 2013Updated 12 years ago
- Full-featured, lightweight Postgres databases for local development.☆19Sep 10, 2024Updated last year
- Stripe-native usage metering with real-time cost projections, exactly-once processing, and invoice parity guarantees.☆21Feb 27, 2026Updated last month