Highlights
Block or report buger
Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseFounder of Proof — Prove your software does what you promised
Your application makes promises: in contracts, in docs, in what sales sold. We turn them into requirements your engineers sign, then hold the code to them with formal proofs, condition-level coverage, and findings that arrive as runnable reproducers. The audit installs in your CI, starts with the component where failure costs you most, and widens quarter by quarter; the corpus compounds until it covers what matters.
Public demonstration on jsonparser (the library I originally wrote):
full hierarchy + 100% MC/DC, yet still 7 real bugs — including a silent data-loss defect that escaped complete condition coverage.
→ reqproof.com/correctness-labels
- Head of Engineering at Tyk
- Author of jsonparser — THE fastest JSON parsers for Go
- Creator of GoReplay — traffic replay & testing infrastructure
- Creator of helpwanted.dev - helping OSS communities with contributors
- Previously: probeai.dev (AI code search)
- Email: leonsbox@gmail.com
- X: @buger
- LinkedIn: leonidbugaev
Popular repositories Loading
-
jsonparser jsonparser Public
THE fastest alternative JSON parser for Go that does not require schema
-
homelearnai homelearnai Public
AI-powered homeschool learning management system with spaced repetition, curriculum planning, and multi-child support
If the problem persists, check the GitHub status page or contact support.