proof-pad
A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github
TypeScript9apache-2.0
4 months ago
ipfs-social-proof
IPFS Social Proof: A decentralized identity and social proof system
JavaScript145mit
3 years ago
choojsdappdapps
kippo_detect
Quick proof of concept to detect a Kippo SSH honeypot instance externally
Python56
10 years ago
InfiniteCanvas
Proof of concept for a vector drawing app without canvas boundaries.
Swift133mit
8 years ago
drawingmacosvector
pycoq
Python bindings for the Coq interactive proof assistant
OCaml50
3 years ago
coqmachine-learningpython
coq-tools
Some scripts to help construct small reproducing examples of bugs, implement [Pr
Python39mit
27 days ago
SatoshiProof
Satoshi Proof is your personal notary leveraging the power of the Bitcoin networ
Kotlin72
2 years ago
androidandroid-applicationbitcoin
cells
Future-proof content collaboration platform
Go1827agpl-3.0
8 hours ago
filesharinggolang-applicationmicroservices
flatpak2appdir
A proof of concept to demonstrate a viable way to turn a Flatpak into AppDir
Shell27mit
5 years ago
appdirappimageconverter
wpilot
A "proof-of-concept" remake of the famous XPilot game, this time in a web browse
JavaScript164mit
12 years ago
navalia
A bullet-proof, fast, and reliable headless browser API
TypeScript957gpl-3.0
6 years ago
automationbrowserchrome
diy-proofing-box
Build your own DIY proofing box for sourdough, yoghurt and pizza. Featuring a ra
Shell7mit
4 years ago
breaddiypizza
awesome-zero-knowledge-proofs
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP)
5105other
4 months ago
explaining-snarksknowledge-proofssnark
deep-belief-nets-for-topic-modeling
This repository is a proof of concept toolbox for using Deep Belief Nets for Top
Python143
10 years ago
react-native-android-widget-poc
🤖 React Native Android widgets bridged to JS, a proof of concept
Java207mit
6 years ago
androidandroid-widgetreact-native
Cache-Processing-Instance
Proof-of-concept for a dedicated HTML cache processing instance
C#2
9 years ago
coq-library-undecidability
A library of mechanised undecidability proofs in the Coq proof assistant.
Coq109mpl-2.0
2 months ago
coq
coqtail-math
Coqtail is a library of mathematical theorems and tools proved inside the Coq pr
Coq15other
4 months ago
complex-analysiscoqreal-analysis
DeML-Golem
Proof Of Concept of DEcentralised Machine Learning on top of the Golem (https://
Python43gpl-3.0
4 years ago
decentralised-machine-learningfederated-learninggolem
coq
Coq is a formal proof management system. It provides a formal language to write
OCaml4836lgpl-2.1
24 days ago
coqdependent-typesproof-assistant
company-coq
A Coq IDE build on top of Proof General's Coq mode
Emacs Lisp353gpl-3.0
2 years ago
company-modecoqemacs
awesome-stacks-chain
A list of Awesome Stacks related stuff. Stacks, the blockchain using Proof of Tr
109cc0-1.0
6 months ago
awesomeawesome-list
coq-waterproof
The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs
Coq30lgpl-3.0
26 days ago
fcf
Foundational Cryptography Framework for machine-checked proofs of cryptography.
Coq48other
7 months ago
stablesort
Stable sort algorithms and their stability proofs in Coq
Coq22
2 months ago
coqinsertion-sortmathcomp
lngen
Tool for generating Locally Nameless definitions and proofs in Coq, working toge
Haskell29mit
8 months ago
docker-coq
Docker images of the Coq proof assistant (see also: https://github.com/coq-commu
Dockerfile37bsd-3-clause
4 months ago
cicoqdocker-coq
mix.core
🚀 Mixcore CMS is an Future-Proof Enterprise Web CMS that supports both headless
C#797mit
7 months ago
angularaspasp-net-core
clarity-bitcoin
Clarity library for parsing Bitcoin transactions and verifying Merkle proofs
Clarity18agpl-3.0
8 days ago
waterproof
Waterproof is an educational environment for writing mathematical proofs in inte
JavaScript35lgpl-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 Notebook16801other
3 months ago
proof-pad
A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github
TypeScript9apache-2.0
4 months ago
ipfs-social-proof
IPFS Social Proof: A decentralized identity and social proof system
JavaScript145mit
3 years ago
choojsdappdapps
kippo_detect
Quick proof of concept to detect a Kippo SSH honeypot instance externally
Python56
10 years ago
InfiniteCanvas
Proof of concept for a vector drawing app without canvas boundaries.
Swift133mit
8 years ago
drawingmacosvector
pycoq
Python bindings for the Coq interactive proof assistant
OCaml50
3 years ago
coqmachine-learningpython
coq-tools
Some scripts to help construct small reproducing examples of bugs, implement [Pr
Python39mit
27 days ago
SatoshiProof
Satoshi Proof is your personal notary leveraging the power of the Bitcoin networ
Kotlin72
2 years ago
androidandroid-applicationbitcoin
cells
Future-proof content collaboration platform
Go1827agpl-3.0
8 hours ago
filesharinggolang-applicationmicroservices
flatpak2appdir
A proof of concept to demonstrate a viable way to turn a Flatpak into AppDir
Shell27mit
5 years ago
appdirappimageconverter
wpilot
A "proof-of-concept" remake of the famous XPilot game, this time in a web browse
JavaScript164mit
12 years ago
navalia
A bullet-proof, fast, and reliable headless browser API
TypeScript957gpl-3.0
6 years ago
automationbrowserchrome
diy-proofing-box
Build your own DIY proofing box for sourdough, yoghurt and pizza. Featuring a ra
Shell7mit
4 years ago
breaddiypizza
awesome-zero-knowledge-proofs
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP)
5105other
4 months ago
explaining-snarksknowledge-proofssnark
deep-belief-nets-for-topic-modeling
This repository is a proof of concept toolbox for using Deep Belief Nets for Top
Python143
10 years ago
react-native-android-widget-poc
🤖 React Native Android widgets bridged to JS, a proof of concept
Java207mit
6 years ago
androidandroid-widgetreact-native
Cache-Processing-Instance
Proof-of-concept for a dedicated HTML cache processing instance
C#2
9 years ago
coq-library-undecidability
A library of mechanised undecidability proofs in the Coq proof assistant.
Coq109mpl-2.0
2 months ago
coq
coqtail-math
Coqtail is a library of mathematical theorems and tools proved inside the Coq pr
Coq15other
4 months ago
complex-analysiscoqreal-analysis
DeML-Golem
Proof Of Concept of DEcentralised Machine Learning on top of the Golem (https://
Python43gpl-3.0
4 years ago
decentralised-machine-learningfederated-learninggolem
coq
Coq is a formal proof management system. It provides a formal language to write
OCaml4836lgpl-2.1
24 days ago
coqdependent-typesproof-assistant
company-coq
A Coq IDE build on top of Proof General's Coq mode
Emacs Lisp353gpl-3.0
2 years ago
company-modecoqemacs
awesome-stacks-chain
A list of Awesome Stacks related stuff. Stacks, the blockchain using Proof of Tr
109cc0-1.0
6 months ago
awesomeawesome-list
coq-waterproof
The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs
Coq30lgpl-3.0
26 days ago
fcf
Foundational Cryptography Framework for machine-checked proofs of cryptography.
Coq48other
7 months ago
stablesort
Stable sort algorithms and their stability proofs in Coq
Coq22
2 months ago
coqinsertion-sortmathcomp
lngen
Tool for generating Locally Nameless definitions and proofs in Coq, working toge
Haskell29mit
8 months ago
docker-coq
Docker images of the Coq proof assistant (see also: https://github.com/coq-commu
Dockerfile37bsd-3-clause
4 months ago
cicoqdocker-coq
mix.core
🚀 Mixcore CMS is an Future-Proof Enterprise Web CMS that supports both headless
C#797mit
7 months ago
angularaspasp-net-core
clarity-bitcoin
Clarity library for parsing Bitcoin transactions and verifying Merkle proofs
Clarity18agpl-3.0
8 days ago
waterproof
Waterproof is an educational environment for writing mathematical proofs in inte
JavaScript35lgpl-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 Notebook16801other
3 months ago