Formal proof of the Four Color Theorem [maintainer=@ybertot]

Coq135other

6 months ago

coqcoq-cifour-color-theorem

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

Python35mit

6 months ago

proof script associated to tutorial material

Coq17

6 months ago

Future-proof content collaboration platform

Go1668agpl-3.0

2 days ago

filesharinggolang-applicationmicroservices

✨ Future-proof your Emacs Lisp customizations!

Emacs Lisp245mit

5 months ago

adviceautoloadediff

Ruby's bikeshed-proof linter and formatter 🚲

Ruby2568other

last month

formatterlinterrubocop

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

4893other

30 days ago

explaining-snarksknowledge-proofssnark

Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in

Rust214apache-2.0

5 months ago

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dep

OCaml192other

5 months ago

automationcoqdependent-types

The formal proof of the Odd Order Theorem

Coq23

6 months ago

coqfeit-thompson-theoremmathcomp

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

Coq98mpl-2.0

6 months ago

coq

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

OCaml4576lgpl-2.1

last month

coqdependent-typesproof-assistant

Proof of concept developer code and samples to help be successful with all ArcGI

C#258apache-2.0

6 months ago

data-managementnative-developmentspatial-analysis

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

94cc0-1.0

11 months ago

awesomeawesome-list

Foundational Cryptography Framework for machine-checked proofs of cryptography.

Coq45other

6 months ago

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

Haskell29mit

6 months ago

Interactive Coq Proofs in Vim

Python240mit

6 months ago

coqproof-assistantvim

A foundational framework for modular cryptographic proofs in Coq

Coq46mit

7 months ago

coq-formalizationcoq-librarycryptography

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

Dockerfile32bsd-3-clause

7 months ago

cicoqdocker-coq

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

C#741mit

4 months ago

angularaspasp-net-core

cairo-rs is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermed

Rust327apache-2.0

last year

blockchaincompilercryptography

Clarity library for parsing Bitcoin transactions and verifying Merkle proofs

Clarity15agpl-3.0

5 months ago

Waterproof is an educational environment for writing mathematical proofs in inte

JavaScript27lgpl-2.1

7 months ago

coqserapi

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

Jupyter Notebook15138other

5 months ago

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

TypeScript6apache-2.0

last year

IPFS Social Proof: A decentralized identity and social proof system

JavaScript129mit

2 years ago

choojsdappdapps

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

Python55

9 years ago

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

Swift122mit

7 years ago

drawingmacosvector

Proof of Concepts (PE, PDF...)

Assembly1394

last year

Python bindings for the Coq interactive proof assistant

OCaml48

2 years ago

coqmachine-learningpython

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

Kotlin66

last year

androidandroid-applicationbitcoin

A proof of concept for running Frege on Android

Java6

7 years ago

Formal proof in Coq of Puiseux's Theorem.

Coq4other

2 years ago

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

Shell25mit

4 years ago

appdirappimageconverter

A proof-of-concept C# console application for retrieving legacy 2010 & 2013 cust

C#16

4 years ago

logicappspowerautomatesharepoint

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

Shell6mit

3 years ago

breaddiypizza

A generic goal preprocessing tool for proof automation tactics in Coq

Prolog12lgpl-3.0

last year

Human-proof your website

JavaScript3mit

5 years ago

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

TypeScript957gpl-3.0

6 years ago

automationbrowserchrome

Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in

Rust167apache-2.0

last year

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

Python143

9 years ago

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

Java206mit

5 years ago

androidandroid-widgetreact-native

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

C#2

8 years ago

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

Coq13other

last year

complex-analysiscoqreal-analysis

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

Python42gpl-3.0

3 years ago

decentralised-machine-learningfederated-learninggolem

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

Emacs Lisp340gpl-3.0

last year

company-modecoqemacs

Clarity library for parsing Bitcoin transactions and verifying Merkle proofs

Shell33agpl-3.0

3 years ago

Notesnook is a life changing notes app. With privacy at it's core, all your note

6455cc-by-4.0

last year

advicedegooglegoogle