Projects in Awesome Lists tagged with spec-tests
A curated list of projects in awesome lists tagged with spec-tests .
https://github.com/json-patch/json-patch-tests
Tests for implementations of json-patch
ietf json json-patch spec-tests
Last synced: 16 May 2025
https://github.com/jasisz/aver
Aver is a programming language for auditable AI-written code
ai-code dafny effect-system formal-verification lean4 programming-language rust spec-tests transpiler
Last synced: 05 May 2026
