Chia blockchain python implementation (full node, farmer, harvester, timelord, and wallet)
- chia
- blockchain
- blockchain-network
- proof-of-space
Repository Index
47,133 repositories indexed
1–14 of 14 · Most stars
Coordinate Claude, Codex and Cursor windows with shared tasks, acknowledgements, prechecks, parallel tests, source-bound proofs and independent review. Built-in skills recall lessons, simplify code and forecast work. Track progress, decisions and evidence in a bilingual local dashboard, with MCP plugins. Browse skills and verified security audits.
Math & CS awesome List, distinguished by proof and logic technique
Verify that the PowerPoint you are about to deliver is exactly the PPTX that passed QA—locally, offline, and with tamper-evident evidence.
- artifact-integrity
- pptx
- python
- supply-chain-security
Interactive Coq Proofs in Vim
This repository is a proof of concept toolbox for using Deep Belief Nets for Topic Modeling in Python.
Improve the language of your paper before submission
- language-analysis
- python
- proof-reading
- grammar-checker
Jupyter kernel for Coq
Security and Hacking Tools, Exploits, Proof of Concepts, Shellcodes, Scripts.
Quick proof of concept to detect a Kippo SSH honeypot instance externally
Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.
Proof of concept denial of service over TOR stress test tool
Proof Of Concept of DEcentralised Machine Learning on top of the Golem (https://golem.network/) architecture
- golem
- decentralised-machine-learning
- federated-learning
golem provider runtime with network access via http proxy proof of concept