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
- Middleware of blockchain storage layer accessing☆12Sep 9, 2019Updated 6 years ago
- 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
- 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 week
- Tools for testing C compilers for the correct handling of volatile objects.☆31Jul 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☆13Apr 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 3 weeks ago
- Openfst mirror with some fixes☆15Aug 23, 2024Updated last year
- 线上商品浏览及线下交易系统，包括用户手机端「Android」，商家电脑端「.NET」等。主要实现：用户浏览商品信息，选择有意向的商品并提交订单信息，之后商家和用户在线下完成商品交易☆44Feb 27, 2022Updated 4 years ago
- POV templates and compilation support for CGC binaries.☆10May 19, 2022Updated 3 years ago
- B-Spline Density Estimation Library - nonparametric density estimation using B-Spline density estimator from univariate sample.☆16Aug 22, 2021Updated 4 years ago
- Extract structured data from documents, images, audio, and video using LLMs.☆16Feb 28, 2026Updated 3 weeks ago
- Jupyter notebooks from our weekly (or so) hackathons☆11Dec 3, 2024Updated last year
- Interactive Theorem Proving course using HOL4☆13Jun 21, 2023Updated 2 years ago
- ☆11Dec 1, 2017Updated 8 years 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
- 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.☆22Feb 27, 2026Updated 3 weeks ago