A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP)

5105other

4 months ago

explaining-snarksknowledge-proofssnark

A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github

TypeScript9apache-2.0

4 months ago

Foundational Cryptography Framework for machine-checked proofs of cryptography.

Coq48other

7 months ago

Stable sort algorithms and their stability proofs in Coq

Coq22

2 months ago

coqinsertion-sortmathcomp

Tool for generating Locally Nameless definitions and proofs in Coq, working toge

Haskell29mit

8 months ago

Interactive Coq Proofs in Vim

Python274mit

2 months ago

coqproof-assistantvim

The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs

Coq30lgpl-3.0

26 days ago

Clarity library for parsing Bitcoin transactions and verifying Merkle proofs

Clarity18agpl-3.0

8 days ago

Waterproof is an educational environment for writing mathematical proofs in inte

JavaScript35lgpl-2.1

8 months ago

coqserapi

Some scripts to help construct small reproducing examples of bugs, implement [Pr

Python39mit

27 days ago

Future-proof content collaboration platform

Go1827agpl-3.0

9 hours ago

filesharinggolang-applicationmicroservices

✨ Future-proof your Emacs Lisp customizations!

Emacs Lisp256mit

last month

adviceautoloadediff

Ruby's bikeshed-proof linter and formatter 🚲

Ruby2658other

4 months ago

formatterlinterrubocop

A library of mechanised undecidability proofs in the Coq proof assistant.

Coq109mpl-2.0

2 months ago

coq

Coq is a formal proof management system. It provides a formal language to write

OCaml4836lgpl-2.1

24 days ago

coqdependent-typesproof-assistant

Coqtail is a library of mathematical theorems and tools proved inside the Coq pr

Coq15other

4 months ago

complex-analysiscoqreal-analysis

A list of Awesome Stacks related stuff. Stacks, the blockchain using Proof of Tr

109cc0-1.0

6 months ago

awesomeawesome-list

Kalman Filter book using Jupyter Notebook. Focuses on building intuition and exp

Jupyter Notebook16801other

3 months ago

Docker images of the Coq proof assistant (see also: https://github.com/coq-commu

Dockerfile37bsd-3-clause

4 months ago

cicoqdocker-coq

🚀 Mixcore CMS is an Future-Proof Enterprise Web CMS that supports both headless

C#797mit

7 months ago

angularaspasp-net-core

IPFS Social Proof: A decentralized identity and social proof system

JavaScript145mit

3 years ago

choojsdappdapps

Quick proof of concept to detect a Kippo SSH honeypot instance externally

Python56

10 years ago

Proof of concept for a vector drawing app without canvas boundaries.

Swift133mit

8 years ago

drawingmacosvector

Proof of Concepts (PE, PDF...)

Assembly1477

2 years ago

Python bindings for the Coq interactive proof assistant

OCaml50

3 years ago

coqmachine-learningpython

Satoshi Proof is your personal notary leveraging the power of the Bitcoin networ

Kotlin72

2 years ago

androidandroid-applicationbitcoin

proof script associated to tutorial material

Coq17

last year

A proof of concept for running Frege on Android

Java6

8 years ago

A proof of concept to demonstrate a viable way to turn a Flatpak into AppDir

Shell27mit

5 years ago

appdirappimageconverter

Human-proof your website

JavaScript3mit

5 years ago

A bullet-proof, fast, and reliable headless browser API

TypeScript957gpl-3.0

6 years ago

automationbrowserchrome

Build your own DIY proofing box for sourdough, yoghurt and pizza. Featuring a ra

Shell7mit

4 years ago

breaddiypizza

This repository is a proof of concept toolbox for using Deep Belief Nets for Top

Python143

10 years ago

🤖 React Native Android widgets bridged to JS, a proof of concept

Java207mit

6 years ago

androidandroid-widgetreact-native

Proof-of-concept for a dedicated HTML cache processing instance

C#2

9 years ago

Proof Of Concept of DEcentralised Machine Learning on top of the Golem (https://

Python43gpl-3.0

4 years ago

decentralised-machine-learningfederated-learninggolem

A Coq IDE build on top of Proof General's Coq mode

Emacs Lisp353gpl-3.0

2 years ago

company-modecoqemacs