katydid

validator-gogo-deprecated-v0.3

Encoding Agnostic Validation (Validation Language, Parsers and Encoders)

regex-deriv-coq

regex-deriv-lean

Proofs written in Lean4 for the core katydid validation algorithm

regex-deriv-reproving-agda-in-lean

Symbolic and Automatic Differentiation of Languages in Lean

katydid-haskell

An Encoding Agnostic Validation Language

play

Relapse Playground

validator-go-relaxng

Translates RelaxNG to Relapse

parser-go-reflect

Reflection based parser in Go

tour

A Tour of Relapse

validator-gogo-proto

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

validator-testsuite

A cross language testsuite for katydid

katydid.github.io

Katydid Documentation

validator-go-proto

Katydid Validator for Protocol Buffers in Go

experiment-encode-go

Experimental Encode package in Go

experiment-encode-gogo-proto

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

parser

Documentation on the Katydid Parser

parser-go

Parser interface in Go

parser-go-json

Parser for JSON in Go

parser-go-proto

Parser for Protocol Buffers in Go

parser-go-xml

Parser for XML in Go

parser-go-yaml

Parser for Yaml in Go

parser-gogo-proto

[Deprecated] Parser for Protocol Buffers in Go using gogoprotobuf

validator-go

regular expression language for serialized data

validator-go-jsonschema

JSON Schema in Go

validator-gogo-deprecated-v0.1

[deprecated] katydid asm - version 0.1