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

TypeScript9apache-2.0

5 months ago

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...)

Assembly1480

2 years ago

Python bindings for the Coq interactive proof assistant

OCaml50

3 years ago

coqmachine-learningpython

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

Python39mit

2 months ago

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

Future-proof content collaboration platform

Go1835agpl-3.0

5 days ago

filesharinggolang-applicationmicroservices

✨ Future-proof your Emacs Lisp customizations!

Emacs Lisp255mit

2 months ago

adviceautoloadediff

Ruby's bikeshed-proof linter and formatter 🚲

Ruby2658other

5 months ago

formatterlinterrubocop

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

Shell28mit

5 years ago

appdirappimageconverter

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

Shell7mit

4 years ago

breaddiypizza

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

5105other

5 months ago

explaining-snarksknowledge-proofssnark

A generic goal preprocessing tool for proof automation tactics in Coq

Prolog14lgpl-3.0

17 days ago

Human-proof your website

JavaScript3mit

5 years ago

A "proof-of-concept" remake of the famous XPilot game, this time in a web browse

JavaScript164mit

12 years ago

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

TypeScript961gpl-3.0

6 years ago

automationbrowserchrome

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

Python144

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

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

Coq109mpl-2.0

2 months ago

coq

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

Coq15other

5 months ago

complex-analysiscoqreal-analysis

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

Python43gpl-3.0

4 years ago

decentralised-machine-learningfederated-learninggolem

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

OCaml4836lgpl-2.1

2 months ago

coqdependent-typesproof-assistant

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

Emacs Lisp353gpl-3.0

2 years ago

company-modecoqemacs

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

109cc0-1.0

7 months ago

awesomeawesome-list

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

Coq30lgpl-3.0

2 months ago

Foundational Cryptography Framework for machine-checked proofs of cryptography.

Coq48other

8 months ago

Stable sort algorithms and their stability proofs in Coq

Coq22

3 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

3 months ago

coqproof-assistantvim

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

Dockerfile37bsd-3-clause

5 months ago

cicoqdocker-coq

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

C#828mit

3 months ago

angularaspasp-net-core

Clarity library for parsing Bitcoin transactions and verifying Merkle proofs

Clarity18agpl-3.0

last month

Waterproof is an educational environment for writing mathematical proofs in inte

JavaScript35lgpl-2.1

9 months ago

coqserapi

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

Jupyter Notebook16952other

4 months ago

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

TypeScript9apache-2.0

5 months ago

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...)

Assembly1480

2 years ago

Python bindings for the Coq interactive proof assistant

OCaml50

3 years ago

coqmachine-learningpython

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

Python39mit

2 months ago

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

Future-proof content collaboration platform

Go1835agpl-3.0

5 days ago

filesharinggolang-applicationmicroservices

✨ Future-proof your Emacs Lisp customizations!

Emacs Lisp255mit

2 months ago

adviceautoloadediff

Ruby's bikeshed-proof linter and formatter 🚲

Ruby2658other

5 months ago

formatterlinterrubocop

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

Shell28mit

5 years ago

appdirappimageconverter

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

Shell7mit

4 years ago

breaddiypizza

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

5105other

5 months ago

explaining-snarksknowledge-proofssnark

A generic goal preprocessing tool for proof automation tactics in Coq

Prolog14lgpl-3.0

17 days ago

Human-proof your website

JavaScript3mit

5 years ago

A "proof-of-concept" remake of the famous XPilot game, this time in a web browse

JavaScript164mit

12 years ago

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

TypeScript961gpl-3.0

6 years ago

automationbrowserchrome

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

Python144

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

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

Coq109mpl-2.0

2 months ago

coq

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

Coq15other

5 months ago

complex-analysiscoqreal-analysis

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

Python43gpl-3.0

4 years ago

decentralised-machine-learningfederated-learninggolem

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

OCaml4836lgpl-2.1

2 months ago

coqdependent-typesproof-assistant

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

Emacs Lisp353gpl-3.0

2 years ago

company-modecoqemacs

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

109cc0-1.0

7 months ago

awesomeawesome-list

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

Coq30lgpl-3.0

2 months ago

Foundational Cryptography Framework for machine-checked proofs of cryptography.

Coq48other

8 months ago

Stable sort algorithms and their stability proofs in Coq

Coq22

3 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

3 months ago

coqproof-assistantvim

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

Dockerfile37bsd-3-clause

5 months ago

cicoqdocker-coq

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

C#828mit

3 months ago

angularaspasp-net-core

Clarity library for parsing Bitcoin transactions and verifying Merkle proofs

Clarity18agpl-3.0

last month

Waterproof is an educational environment for writing mathematical proofs in inte

JavaScript35lgpl-2.1

9 months ago

coqserapi

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

Jupyter Notebook16952other

4 months ago