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
Sorting:
- Experiments with eBPF bytecode☆15Jul 17, 2025Updated 7 months ago
- CAV'22 paper to speed up Neural Network Verification.☆13Dec 19, 2022Updated 3 years ago
- A program logic for concurrent randomized programs☆14Nov 9, 2018Updated 7 years ago
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆11Jun 6, 2023Updated 2 years ago
- An LLVM-based formal verification frontend for C programs.☆26Oct 29, 2021Updated 4 years ago
- Experimentation framework for Popper☆25Jul 24, 2025Updated 7 months ago
- ☆10Jun 29, 2021Updated 4 years ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆38Updated this week
- Radiocarbon calibration command line tool and Haskell module☆11Nov 24, 2025Updated 3 months ago
- A Framework for Modeling and Analyzing Network Configurations☆35Feb 20, 2023Updated 3 years ago
- Readings on computational logic, interactive theorem proving and functional programming.☆86Feb 25, 2026Updated last week
- ☆14Jan 11, 2021Updated 5 years ago
- Revisiting Whittaker-Henderson Smoothing☆11Jun 19, 2025Updated 8 months ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Implementation of Implicit Reparameterization Trick☆11Dec 2, 2024Updated last year
- template for https://cnli.me☆10Feb 27, 2025Updated last year
- ☆11Jul 13, 2022Updated 3 years ago
- ☆11Aug 5, 2020Updated 5 years ago
- The code of AAAI20 paper "Efficient Inference of Optimal Decision Trees"☆10Jun 26, 2020Updated 5 years ago
- C++ template containers with optimized memory consumption☆12Updated this week
- ☆12Jun 18, 2024Updated last year
- Resources for Learning PLT Redex☆13Jul 24, 2021Updated 4 years ago
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago
- Explanation Ontology Resource website☆12Jun 8, 2024Updated last year
- Sift through Haskell code for analysis purposes☆18Jul 24, 2018Updated 7 years ago
- An AI for Tetris on Jstris☆11Dec 25, 2019Updated 6 years ago
- Split integers into digits, blazingly fast☆14Dec 28, 2025Updated 2 months ago
- Alternative and lite implementation of Hoogle☆11Apr 9, 2024Updated last year
- ☆12Nov 8, 2024Updated last year
- A set of tools for Dynamic Design Patterns in Python☆11Oct 6, 2023Updated 2 years ago
- ☆11Sep 1, 2020Updated 5 years ago
- A C++ structure to manage multi-dimensional data efficiently and safely☆12Feb 1, 2026Updated last month
- Build-to-Order BLAS☆12Apr 9, 2019Updated 6 years ago
- playing with gpt4☆14Mar 17, 2023Updated 2 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- Haskell implementation of HyperLogLog++ & MinHash for efficient cardinality and intersection estimation☆12Aug 1, 2016Updated 9 years ago
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- My attempt to make neovim more rust friendly from an IDE perspective while trying to not do all of the things!☆12Oct 3, 2020Updated 5 years ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago