Skip to content
@katydid

katydid

Validation Language for Protobufs, JSON, XML, etc.

Pinned Loading

  1. katydid.github.io katydid.github.io Public

    Katydid Documentation

    CSS

  2. play play Public

    Relapse Playground

    JavaScript 2 1

  3. regex-deriv-lean regex-deriv-lean Public

    Proofs written in Lean4 for the core katydid validation algorithm

    Lean 18 5

  4. tour tour Public

    A Tour of Relapse

    JavaScript 1

  5. validator-go-proto validator-go-proto Public

    Katydid Validator for Protocol Buffers in Go

    Go

  6. katydid-haskell katydid-haskell Public

    An Encoding Agnostic Validation Language

    Haskell 6

Repositories

Showing 10 of 39 repositories
  • paper-2027-mem-filter-lean Public

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

    katydid/paper-2027-mem-filter-lean's past year of commit activity
    Lean 0 Apache-2.0 0 0 0 Updated Sep 17, 2026
  • validator-testsuite Public

    A cross language testsuite for katydid

    katydid/validator-testsuite's past year of commit activity
    Go 1 Apache-2.0 3 0 0 Updated Sep 17, 2026
  • validator-go Public

    regular expression language for serialized data

    katydid/validator-go's past year of commit activity
    Go 1 Apache-2.0 0 0 0 Updated Sep 17, 2026
  • parser-go Public

    Parser interface in Go

    katydid/parser-go's past year of commit activity
    Go 0 Apache-2.0 0 1 (1 issue needs help) 0 Updated Sep 14, 2026
  • parser Public

    Katydid Parser Design Documentation

    katydid/parser's past year of commit activity
    0 Apache-2.0 1 7 0 Updated Sep 5, 2026
  • validator-go-jsonschema Public

    JSON Schema in Go

    katydid/validator-go-jsonschema's past year of commit activity
    Go 0 Apache-2.0 0 0 0 Updated Sep 5, 2026
  • paper-2027-mem-filter-latex Public

    Memoized Derivatives for Fast Filtering and Schema Validation of Semi-Structured Data (Latex)

    katydid/paper-2027-mem-filter-latex's past year of commit activity
    TeX 0 0 0 0 Updated Sep 5, 2026
  • validator-jsonschema-benchmarks Public Forked from sourcemeta-research/jsonschema-benchmark
    katydid/validator-jsonschema-benchmarks's past year of commit activity
    Go 2 5 0 0 Updated Sep 4, 2026
  • validator-go-proto Public

    Katydid Validator for Protocol Buffers in Go

    katydid/validator-go-proto's past year of commit activity
    Go 0 Apache-2.0 0 0 0 Updated Sep 3, 2026
  • parser-go-xml Public

    Parser for XML in Go

    katydid/parser-go-xml's past year of commit activity
    Go 1 Apache-2.0 0 0 0 Updated Sep 3, 2026
View all repositories

Top languages

Loading…