katydid

Proofs written in Lean4 for the core katydid validation algorithm

A cross language testsuite for katydid

regular expression language for serialized data

Reflection based parser in Go

Verified Derivatives for Fast Filtering and Schema Validation of Semi-Structured Data (TestSuite)

Encoding Agnostic Validation (Validation Language, Parsers and Encoders)

No description provided.

Katydid Parser Design Documentation

Katydid Documentation

Verified Derivatives for Fast Filtering and Schema Validation of Semi-Structured Data (Lean)

Verified Derivatives for Fast Filtering and Schema Validation of Semi-Structured Data (Golang)

Katydid Validator for Protocol Buffers in Go

No description provided.

Experimental Capturing of Hedges and Parsers in Lean

Parser for XML in Go

Translates RelaxNG to Relapse

No description provided.

Symbolic and Automatic Differentiation of Languages in Lean

Parser for JSON in Go

Parser interface in Go

JSON Schema in Go

[Deprecated] Katydid Validator for Protocol Buffers in Go using GoGoProtobuf

[Deprecated] Parser for Protocol Buffers in Go using gogoprotobuf

Parser for Yaml in Go

Parser for Protocol Buffers in Go

Experimental Encode package in Go

[Deprecated] Experimental encode package in Go for Protocol Buffers using gogoprotobuf

[deprecated] katydid asm - version 0.1

A Tour of Relapse

Relapse Playground