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 to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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
- 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.
- A work in progress theme generator for the UI components by shadcn☆13May 2, 2023Updated 3 years ago
- My personal website☆11Apr 8, 2026Updated 2 months ago
- Tools for testing C compilers for the correct handling of volatile objects.☆32Jul 18, 2014Updated 11 years ago
- Custom Keras ML block example for Edge Impulse☆12Oct 15, 2025Updated 7 months 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
- 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 months ago
- Openfst mirror with some fixes☆15Aug 23, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 线上商品浏览及线下交易系统，包括用户手机端「Android」，商家电脑端「.NET」等。主要实现：用户浏览商品信息，选择有意向的商品并提交订单信息，之后商家和用户在线下完成商品交易☆44Feb 27, 2022Updated 4 years ago
- POV templates and compilation support for CGC binaries.☆10May 19, 2022Updated 4 years ago
- Extract structured data from documents, images, audio, and video using LLMs.☆17Updated 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 months 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 11 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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