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
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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 for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Handles OpenDocument files and translates them to HTML.☆10Oct 8, 2019Updated 6 years ago
- A work in progress theme generator for the UI components by shadcn☆13May 2, 2023Updated 3 years ago
- tools and benchmarks for verified coding☆27Jun 5, 2026Updated last month
- My personal website☆11Jul 8, 2026Updated 2 weeks ago
- Custom Keras ML block example for Edge Impulse☆12Jun 30, 2026Updated 3 weeks 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 7 years ago
- POV templates and compilation support for CGC binaries.☆10May 19, 2022Updated 4 years ago
- 线上商品浏览及线下交易系统，包括用户手机端「Android」，商家电脑端「.NET」等。主要实 现：用户浏览商品信息，选择有意向的商品并提交订单信息，之后商家和用户在线下完成商品交易☆44Feb 27, 2022Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- SDK for building cross-platform desktop apps in ANSI-C☆14Jan 6, 2023Updated 3 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
- CFE virtual competition framework☆14Feb 1, 2017Updated 9 years ago
- Proof-of-concept code for beating Google's ZK proof of quantum cryptanalysis☆15Apr 17, 2026Updated 3 months ago
- ☆11Dec 1, 2017Updated 8 years ago
- Inators UI is a collection of UI components for next.js based on Tailwind and Shadcn/ui, just copy and use☆15Oct 28, 2024Updated last year
- 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 11 years ago
- Extract structured data from documents, images, audio, and video using LLMs.☆18Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- "proving-contest"-backends for several theorem provers☆13Oct 15, 2024Updated last year
- GN meta-build system parser, static code model and navigable code browser☆13Aug 8, 2022Updated 3 years ago
- Cairo lua bindings with extensions for torch☆15Jun 12, 2016Updated 10 years ago
- ☆17Jan 8, 2023Updated 3 years ago
- A convenient D wrapper around JNI.☆14Jul 6, 2013Updated 13 years ago
- This repo contains a version of the LLVM test suite that is being modified to use Checked C. The modified programs will be used to ben…☆14Sep 1, 2022Updated 3 years ago