Devpost
Participate in our public hackathons
Devpost for Teams
Access your company's private hackathons
Grow your developer ecosystem and promote your platform
Drive innovation, collaboration, and retention within your organization
By use case
Blog
Insights into hackathon planning and participation
Customer stories
Inspiration from peers and other industry leaders
Planning guides
Best practices for planning online and in-person hackathons
Webinars & events
Upcoming events and on-demand recordings
Help desk
Common questions and support documentation
C4 is an evidence-aware control plane for coding agents that tracks risky actions across steps, adds precise review gates, and keeps useful work moving.
Certificate-based analysis for continuous-time LTI systems, exposing the evidence behind controllability, observability, stability, LQR, and Kalman decomposition.
A 49M-parameter language model trained from scratch on 1B tokens, with a fully auditable training and evaluation pipeline.
An autonomous multi-agent system that plans proof strategies, explores branches, hunts counterexamples, verifies claims, and preserves an auditable research trail.
