Old (2022) proof of concept: Zero-Config CLI to Deploy Static Websites to IPFS
- ipfs
- dnslink
- pinning
- deploying
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
Rapid blockchain prototyping
- blockchain
- toolkit
- crystal
- proof-of-work
A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic