proof-pad
A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github
TypeScript6apache-2.0
last year
ipfs-social-proof
IPFS Social Proof: A decentralized identity and social proof system
JavaScript129mit
2 years ago
choojsdappdapps
coq-tools
Some scripts to help construct small reproducing examples of bugs, implement [Pr
Python35mit
7 months ago
SatoshiProof
Satoshi Proof is your personal notary leveraging the power of the Bitcoin networ
Kotlin68
last year
androidandroid-applicationbitcoin
cells
Future-proof content collaboration platform
Go1673agpl-3.0
16 days ago
filesharinggolang-applicationmicroservices
el-patch
✨ Future-proof your Emacs Lisp customizations!
Emacs Lisp250mit
6 months ago
adviceautoloadediff
flatpak2appdir
A proof of concept to demonstrate a viable way to turn a Flatpak into AppDir
Shell25mit
4 years ago
appdirappimageconverter
SharePointWorkflowConverter
A proof-of-concept C# console application for retrieving legacy 2010 & 2013 cust
C#16
4 years ago
logicappspowerautomatesharepoint
kippo_detect
Quick proof of concept to detect a Kippo SSH honeypot instance externally
Python56
9 years ago
InfiniteCanvas
Proof of concept for a vector drawing app without canvas boundaries.
Swift122mit
7 years ago
drawingmacosvector
fourcolor
Formal proof of the Four Color Theorem [maintainer=@ybertot]
Coq135other
7 months ago
coqcoq-cifour-color-theorem
pycoq
Python bindings for the Coq interactive proof assistant
OCaml48
2 years ago
coqmachine-learningpython
awesome-zero-knowledge-proofs
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP)
4934other
2 months ago
explaining-snarksknowledge-proofssnark
diy-proofing-box
Build your own DIY proofing box for sourdough, yoghurt and pizza. Featuring a ra
Shell6mit
3 years ago
breaddiypizza
wpilot
A "proof-of-concept" remake of the famous XPilot game, this time in a web browse
JavaScript164mit
11 years ago
navalia
A bullet-proof, fast, and reliable headless browser API
TypeScript957gpl-3.0
6 years ago
automationbrowserchrome
deep-belief-nets-for-topic-modeling
This repository is a proof of concept toolbox for using Deep Belief Nets for Top
Python143
9 years ago
coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dep
OCaml192other
6 months ago
automationcoqdependent-types
react-native-android-widget-poc
🤖 React Native Android widgets bridged to JS, a proof of concept
Java206mit
5 years ago
androidandroid-widgetreact-native
Cache-Processing-Instance
Proof-of-concept for a dedicated HTML cache processing instance
C#2
8 years ago
coq-library-undecidability
A library of mechanised undecidability proofs in the Coq proof assistant.
Coq98mpl-2.0
7 months ago
coq
circom-compat
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in
Rust214apache-2.0
6 months ago
ark-circom
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in
Rust167apache-2.0
last year
coqtail-math
Coqtail is a library of mathematical theorems and tools proved inside the Coq pr
Coq13other
last year
complex-analysiscoqreal-analysis
DeML-Golem
Proof Of Concept of DEcentralised Machine Learning on top of the Golem (https://
Python42gpl-3.0
3 years ago
decentralised-machine-learningfederated-learninggolem
coq
Coq is a formal proof management system. It provides a formal language to write
OCaml4576lgpl-2.1
2 months ago
coqdependent-typesproof-assistant
company-coq
A Coq IDE build on top of Proof General's Coq mode
Emacs Lisp340gpl-3.0
last year
company-modecoqemacs
developer-support
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
awesome-stacks-chain
A list of Awesome Stacks related stuff. Stacks, the blockchain using Proof of Tr
94cc0-1.0
last year
awesomeawesome-list
lngen
Tool for generating Locally Nameless definitions and proofs in Coq, working toge
Haskell29mit
7 months ago
fcf
Foundational Cryptography Framework for machine-checked proofs of cryptography.
Coq45other
6 months ago
ssprove
A foundational framework for modular cryptographic proofs in Coq
Coq46mit
8 months ago
coq-formalizationcoq-librarycryptography
mix.core
🚀 Mixcore CMS is an Future-Proof Enterprise Web CMS that supports both headless
C#741mit
5 months ago
angularaspasp-net-core
docker-coq
Docker images of the Coq proof assistant (see also: https://github.com/coq-commu
Dockerfile32bsd-3-clause
8 months ago
cicoqdocker-coq
cairo-rs
cairo-rs is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermed
Rust327apache-2.0
last year
blockchaincompilercryptography
clarity-bitcoin
Clarity library for parsing Bitcoin transactions and verifying Merkle proofs
Shell33agpl-3.0
3 years ago
clarity-bitcoin
Clarity library for parsing Bitcoin transactions and verifying Merkle proofs
Clarity15agpl-3.0
6 months ago
waterproof
Waterproof is an educational environment for writing mathematical proofs in inte
JavaScript27lgpl-2.1
8 months ago
coqserapi
Kalman-and-Bayesian-Filters-in-Python
Kalman Filter book using Jupyter Notebook. Focuses on building intuition and exp
Jupyter Notebook15138other
5 months ago
Notesnook - Private notes app
Notesnook is a life changing notes app. With privacy at it's core, all your note
6455cc-by-4.0
2 years ago
advicedegooglegoogle
proof-pad
A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github
TypeScript6apache-2.0
last year
ipfs-social-proof
IPFS Social Proof: A decentralized identity and social proof system
JavaScript129mit
2 years ago
choojsdappdapps
coq-tools
Some scripts to help construct small reproducing examples of bugs, implement [Pr
Python35mit
7 months ago
SatoshiProof
Satoshi Proof is your personal notary leveraging the power of the Bitcoin networ
Kotlin68
last year
androidandroid-applicationbitcoin
cells
Future-proof content collaboration platform
Go1673agpl-3.0
16 days ago
filesharinggolang-applicationmicroservices
el-patch
✨ Future-proof your Emacs Lisp customizations!
Emacs Lisp250mit
6 months ago
adviceautoloadediff
flatpak2appdir
A proof of concept to demonstrate a viable way to turn a Flatpak into AppDir
Shell25mit
4 years ago
appdirappimageconverter
SharePointWorkflowConverter
A proof-of-concept C# console application for retrieving legacy 2010 & 2013 cust
C#16
4 years ago
logicappspowerautomatesharepoint
kippo_detect
Quick proof of concept to detect a Kippo SSH honeypot instance externally
Python56
9 years ago
InfiniteCanvas
Proof of concept for a vector drawing app without canvas boundaries.
Swift122mit
7 years ago
drawingmacosvector
fourcolor
Formal proof of the Four Color Theorem [maintainer=@ybertot]
Coq135other
7 months ago
coqcoq-cifour-color-theorem
pycoq
Python bindings for the Coq interactive proof assistant
OCaml48
2 years ago
coqmachine-learningpython
awesome-zero-knowledge-proofs
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP)
4934other
2 months ago
explaining-snarksknowledge-proofssnark
diy-proofing-box
Build your own DIY proofing box for sourdough, yoghurt and pizza. Featuring a ra
Shell6mit
3 years ago
breaddiypizza
wpilot
A "proof-of-concept" remake of the famous XPilot game, this time in a web browse
JavaScript164mit
11 years ago
navalia
A bullet-proof, fast, and reliable headless browser API
TypeScript957gpl-3.0
6 years ago
automationbrowserchrome
deep-belief-nets-for-topic-modeling
This repository is a proof of concept toolbox for using Deep Belief Nets for Top
Python143
9 years ago
coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dep
OCaml192other
6 months ago
automationcoqdependent-types
react-native-android-widget-poc
🤖 React Native Android widgets bridged to JS, a proof of concept
Java206mit
5 years ago
androidandroid-widgetreact-native
Cache-Processing-Instance
Proof-of-concept for a dedicated HTML cache processing instance
C#2
8 years ago
coq-library-undecidability
A library of mechanised undecidability proofs in the Coq proof assistant.
Coq98mpl-2.0
7 months ago
coq
circom-compat
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in
Rust214apache-2.0
6 months ago
ark-circom
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in
Rust167apache-2.0
last year
coqtail-math
Coqtail is a library of mathematical theorems and tools proved inside the Coq pr
Coq13other
last year
complex-analysiscoqreal-analysis
DeML-Golem
Proof Of Concept of DEcentralised Machine Learning on top of the Golem (https://
Python42gpl-3.0
3 years ago
decentralised-machine-learningfederated-learninggolem
coq
Coq is a formal proof management system. It provides a formal language to write
OCaml4576lgpl-2.1
2 months ago
coqdependent-typesproof-assistant
developer-support
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
awesome-stacks-chain
A list of Awesome Stacks related stuff. Stacks, the blockchain using Proof of Tr
94cc0-1.0
last year
awesomeawesome-list
lngen
Tool for generating Locally Nameless definitions and proofs in Coq, working toge
Haskell29mit
7 months ago
fcf
Foundational Cryptography Framework for machine-checked proofs of cryptography.
Coq45other
6 months ago
ssprove
A foundational framework for modular cryptographic proofs in Coq
Coq46mit
8 months ago
coq-formalizationcoq-librarycryptography
mix.core
🚀 Mixcore CMS is an Future-Proof Enterprise Web CMS that supports both headless
C#741mit
5 months ago
angularaspasp-net-core
docker-coq
Docker images of the Coq proof assistant (see also: https://github.com/coq-commu
Dockerfile32bsd-3-clause
8 months ago
cicoqdocker-coq
cairo-rs
cairo-rs is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermed
Rust327apache-2.0
last year
blockchaincompilercryptography
clarity-bitcoin
Clarity library for parsing Bitcoin transactions and verifying Merkle proofs
Shell33agpl-3.0
3 years ago
clarity-bitcoin
Clarity library for parsing Bitcoin transactions and verifying Merkle proofs
Clarity15agpl-3.0
6 months ago
waterproof
Waterproof is an educational environment for writing mathematical proofs in inte
JavaScript27lgpl-2.1
8 months ago
coqserapi
Kalman-and-Bayesian-Filters-in-Python
Kalman Filter book using Jupyter Notebook. Focuses on building intuition and exp
Jupyter Notebook15138other
5 months ago
Notesnook - Private notes app
Notesnook is a life changing notes app. With privacy at it's core, all your note
6455cc-by-4.0
2 years ago
advicedegooglegoogle