Proof-of-concept formal verification using Hoare logic
☆21Feb 29, 2020Updated 6 years ago
Alternatives and similar repositories for hoare-logic-prover
Users that are interested in hoare-logic-prover are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Bayesian Optimization for very Noisy functions☆19Aug 12, 2021Updated 5 years ago
- CAV'22 paper to speed up Neural Network Verification.☆13Dec 19, 2022Updated 3 years ago
- A program logic for concurrent randomized programs☆18Nov 9, 2018Updated 7 years ago
- Experiments with eBPF bytecode☆16Jul 17, 2025Updated last year
- ☆10Oct 17, 2021Updated 5 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.
- Monadic Error Handling for Python☆13Aug 29, 2024Updated 2 years ago
- Port of TweetNaCl cryptographic library to TypeScript (and ES6)☆13Nov 30, 2021Updated 4 years ago
- Implementation of scheme in python supporting call/cc and hygenic macros☆16Sep 12, 2015Updated 11 years ago
- WebGPU MSM Implementation (BLS12-377 Curve) for ZPrize 2023☆14Nov 18, 2024Updated last year
- The BToolkit, a toolkit supporting software development with the B-method.☆41Apr 19, 2024Updated 2 years ago
- Modeling I/O in Coq using free monads☆10Jul 27, 2018Updated 8 years ago
- A greyscale theme with look-n-feel of an eink display☆13Apr 15, 2023Updated 3 years ago
- A framework for evaluating the effectiveness of chain-of-thought reasoning in language models.☆19Feb 6, 2025Updated last year
- Ever been so pissed you rewrote a 4500 line Java project into 300 lines of Haskell?☆14Oct 4, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Code and data for experiments on semantic fragments☆11Jun 23, 2022Updated 4 years ago
- HELP: a dataset for Handling Entailments with Lexical and logical Phenomena (Ver.1.0)☆15Jul 20, 2023Updated 3 years ago
- Code for the paper "Critical Thinking for Language Models"☆13Jun 1, 2021Updated 5 years ago
- An LLVM-based formal verification frontend for C programs.☆26Oct 29, 2021Updated 5 years ago
- Syntax Parse Bee 2021☆11Nov 7, 2022Updated 3 years ago
- An Introduction to Various Math Topics☆10Jan 1, 2015Updated 11 years ago
- My rice config with rose pine and i3, running on openSUSE and nixOS☆11Apr 11, 2026Updated 6 months ago
- A secure WebAssembly sandbox for running untrusted code with flexible host-guest communication☆18Updated this week
- Functional Linear Algebra with Block Matrices☆11Feb 17, 2022Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Neural machine translation implementation using dynet's python bindings☆17Jan 24, 2018Updated 8 years ago
- Independent implementation of DBCA method from http://arxiv.org/abs/1912.09713☆11Nov 25, 2020Updated 5 years ago
- ☆11Mar 8, 2021Updated 5 years ago
- A semantic highlighter for Idris code☆14Feb 22, 2018Updated 8 years ago
- Frama-C and WP tutorial☆83Sep 21, 2026Updated last month
- A categorical semantics library in Agda.☆16Dec 22, 2019Updated 6 years ago
- ☆12Apr 22, 2023Updated 3 years ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆44Oct 21, 2026Updated last week
- The dataset in the paper "Detecting '0-Day' Vulnerability: An Empirical Study of Secret Security Patch in OSS", which appears in the 2019…☆14Aug 9, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Code for my blog☆10Feb 26, 2017Updated 9 years ago
- PyPSDD porting to Python 3 + PyTorch equivalent tree construction.☆15Jun 7, 2023Updated 3 years ago
- ☆19Dec 9, 2025Updated 10 months ago
- Incremental Build Verification☆17Apr 21, 2024Updated 2 years ago
- Material para Matemática Discreta☆12Jul 31, 2016Updated 10 years ago
- A modular decision-making framework combining graph-based physical perception with LLM-driven reasoning, tested in dynamic and uncertain …☆12Feb 27, 2026Updated 8 months ago
- A Framework for Modeling and Analyzing Network Configurations☆37Feb 20, 2023Updated 3 years ago