Improve the language of your paper before submission
- language-analysis
- python
- proof-reading
- grammar-checker
Repository Index
47,133 repositories indexed
49–72 of 83 · Most stars
Jupyter kernel for Coq
A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
Security and Hacking Tools, Exploits, Proof of Concepts, Shellcodes, Scripts.
Compilation and Verification of Data-Centric Languages
- verification
- query-language
- query-engine
- functional-programming
Quick proof of concept to detect a Kippo SSH honeypot instance externally
Foundational Cryptography Framework for machine-checked proofs of cryptography.
Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning
The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.
Proof of concept denial of service over TOR stress test tool
Proof Of Concept of DEcentralised Machine Learning on top of the Golem (https://golem.network/) architecture
- golem
- decentralised-machine-learning
- federated-learning
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
Micromega tactics for Mathematical Components
- coq
- ssreflect
- mathcomp
- proof-automation
An example of writing an external, simple Linux kernel module, in V.
- linux
- kernel-module
- vlang
- proof-of-concept
Stable sort algorithms and their stability proofs in Rocq
- mathcomp
- ssreflect
- sorting-algorithms
- mergesort
A Coq library providing tactics to deal with hypothesis
- coq
- formal-proofs
- proof-assistant
- tactics
Rapid blockchain prototyping
- blockchain
- toolkit
- crystal
- proof-of-work
Clarity library for parsing Bitcoin transactions and verifying Merkle proofs
Scaling Pocketbase with LibSQL and sqld - a Proof Of Concept
A generic goal preprocessing tool for proof automation tactics in Coq