A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
My algorithmic trading strategies with the Gekko cryptocurrency trading bot.
- gekko-strategies
- trading-strategies
- machine-learning-algorithms
- neural-networks
Open BTC 5-minute prediction market sandbox for AI agents — register with one API call, get 1,000 test credits, and place a live order
- ai-agents
- prediction-markets
- starter-template
- trading-bot
Self-hostable Bitcoin fee intelligence API with optional MCP and x402 integrations. Former public hosting is paused.
AI-powered Bitcoin network intelligence in your terminal. Ask questions, get structured analysis.