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 8 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 8 years ago
- A Gossip switch implementation.☆11Sep 9, 2019Updated 7 years ago
- An implemention of ledger which support customization by config file☆11Sep 9, 2019Updated 7 years ago
- A high-security wallet implemention☆10Nov 1, 2019Updated 6 years ago
- Middleware of blockchain storage layer accessing☆12Sep 9, 2019Updated 7 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Implementation of producer which is used for efficient block production.☆11Sep 9, 2019Updated 7 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 7 years ago
- Advanced distributed consensus framework support pluggable algorithms☆15Sep 9, 2019Updated 7 years ago
- Define common types and structures which used frequently☆11Dec 3, 2019Updated 6 years ago
- A high-performance blockchain transaction pool☆14Sep 9, 2019Updated 7 years ago
- Justitia chain project☆20Sep 26, 2019Updated 7 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.
- 😂 Small multiple purpose C++ framework☆14Mar 12, 2025Updated last year
- 💻 Transpiler written in OCaml that that converts a subset of golang to C++☆10Mar 9, 2020Updated 6 years ago
- A fork of Cerberus C adding a Lean 4 port of the semantics☆15Updated this week
- This is the NoSql database used by CrossLine and other tools by Rochus☆11Mar 21, 2025Updated last year
- Raylib game development library bindings and examples for XD Pascal☆11Mar 26, 2020Updated 6 years ago
- Handles OpenDocument files and translates them to HTML.☆11Oct 8, 2019Updated 7 years ago
- A work in progress theme generator for the UI components by shadcn☆13May 2, 2023Updated 3 years ago
- POV templates and compilation support for CGC binaries.☆10May 19, 2022Updated 4 years ago
- Custom Keras ML block example for Edge Impulse☆12Updated this week
- 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.
- Benchmark based on the Logical Foundations volume of [Software Foundations](https://softwarefoundations.cis.upenn.edu/)☆13Feb 20, 2026Updated 8 months ago
- This is the Lola-2 parser used by LolaCreator☆14Apr 24, 2019Updated 7 years ago
- Cairo lua bindings with extensions for torch☆15Jun 12, 2016Updated 10 years ago
- Language comparison project☆14Sep 1, 2026Updated last month
- GN meta-build system parser, static code model and navigable code browser☆13Aug 8, 2022Updated 4 years ago
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years ago
- Centralized repository for shared Claude Code configuration files used across WalletConnect projects.☆14Oct 14, 2026Updated 2 weeks ago
- ☆12Dec 1, 2017Updated 8 years ago
- 线上商品浏览及线下交易系统，包括用户手机端「Android」，商家电脑端「.NET」等。主要实现：用户浏览商品信息，选择有意向的商品并提交订单信息，之后商家和用户在线下完成商品交易☆43Feb 27, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- SynthTL: Translating Natural Language to Temporal Logics with Large Language Models and Model Checkers☆12Sep 20, 2024Updated 2 years ago
- Automatically exported from code.google.com/p/apv☆11Apr 29, 2015Updated 11 years ago
- FreePascal webserver for serving static files☆10Jun 1, 2020Updated 6 years ago
- MCP-first local context retrieval for AI coding tools — BM25 over markdown + SQLite learned memory. Works with Claude Code, Codex, Gemini…☆14May 5, 2026Updated 5 months ago
- "proving-contest"-backends for several theorem provers☆13Oct 15, 2024Updated 2 years ago
- Inators UI is a collection of UI components for next.js based on Tailwind and Shadcn/ui, just copy and use☆16Oct 28, 2024Updated 2 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago