GitDeployHub

geohot/coq-hardy

github.com/geohot/coq-hardy ↗

By using gitdeployhub.com, you agree to our Terms and Privacy. Each deploy host has its own terms; clicking a deploy button takes you to that host’s flow.

Unknown stack
Best match Fly.io Anything Dockerized — requires the Fly CLI.
macOS 
brew install flyctl && fly launch --from https://github.com/geohot/coq-hardy
Linux 
curl -L https://fly.io/install.sh | sh && fly launch --from https://github.com/geohot/coq-hardy
Windows (PowerShell) 
iwr https://fly.io/install.ps1 -useb | iex; fly launch --from https://github.com/geohot/coq-hardy
Alternative Deploy on Railway Apps that need Postgres, Redis, or background workers.
Or deploy to a different host
Render Full-stack with managed Postgres + Redis. Vercel Next.js, React, Vue, static. The default for vibe coders. Netlify Static sites, JAMstack, serverless functions. DigitalOcean App Platform Containers, droplets, and managed services.
← Try another repo