Construction replaces computation. A Pydantic architecture where the types are the program.
Lens based data parser-combinators. Bidirectional transformation and validation pipelines for Nix.
Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system
MIRROR of https://codeberg.org/catseye/Castile : A simple imperative language with union types (and a compiler for same, with multiple targets)
End-to-end type safety between Go and TypeScript: ConnectRPC, OpenAPI, GraphQL and manual, compared with one shared domain.
A strict standard for TypeScript applications written by AI coding agents: compiler, lint, errors as values, boundary parsing, testing, shipping and deployment, with every rule placed on the Hierarchy of Defect Controls.
Value-object helpers for TypeScript: branded types, a constructor and a companion, kept as plain data.
To associate your repository with the parse-dont-validate topic, visit your repo's landing page and select "manage topics."