metareflection/dafny-replay

Verified kernels, written in Dafny and compiled to JavaScript, for correct-by-construction state in interactive web applications

/ 100

Emerging

No Package No Dependents

Maintenance 13 / 25

Adoption 7 / 25

Maturity 9 / 25

Community 4 / 25

Stars

Forks

Language

TypeScript

License

MIT

Category

Last pushed

Mar 09, 2026

Commits (30d)

Get this data via API

curl "https://pt-edge.onrender.com/api/v1/quality/ai-coding/metareflection/dafny-replay"

Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.

Higher-rated alternatives

THU-WingTecher/LSPRAG

Real-time multi-language unit test generation tool via LSP

bigcode-project/bigcodearena

BigCodeArena: Unveiling More Reliable Human Preferences in Code Generation via Execution

santinic/unvibe

Generate correct code from unit-tests