Skip to content
@katydid

katydid

Validation Language for Protobufs, JSON, XML, etc.

Pinned Loading

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

    Katydid Documentation

    HTML

  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 14 3

  4. tour tour Public

    A Tour of Relapse

    JavaScript 1

  5. validator-gogo-proto validator-gogo-proto Public

    Go 1

  6. katydid-haskell katydid-haskell Public

    An Encoding Agnostic Validation Language

    Haskell 6

Repositories

Showing 10 of 22 repositories
  • 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 1 Updated Jan 15, 2025
  • validator-go Public

    regular expression language for serialized data

    katydid/validator-go’s past year of commit activity
    Go 0 Apache-2.0 0 0 0 Updated Jan 14, 2025
  • validator-gogo-proto Public
    katydid/validator-gogo-proto’s past year of commit activity
    Go 1 Apache-2.0 0 0 0 Updated Jan 14, 2025
  • experiment-encode-gogo-proto Public

    Experimental encode package in Go for Protocol Buffers using gogoprotobuf

    katydid/experiment-encode-gogo-proto’s past year of commit activity
    Go 0 Apache-2.0 0 0 0 Updated Jan 14, 2025
  • parser-gogo-proto Public

    Parser for Protocol Buffers in Go using gogoprotobuf

    katydid/parser-gogo-proto’s past year of commit activity
    Go 0 Apache-2.0 0 0 0 Updated Jan 14, 2025
  • experiment-encode-go Public

    Experimental Encode package in Go

    katydid/experiment-encode-go’s past year of commit activity
    Go 0 Apache-2.0 0 0 0 Updated Jan 13, 2025
  • parser-go-reflect Public

    Reflection based parser in Go

    katydid/parser-go-reflect’s past year of commit activity
    Go 0 Apache-2.0 0 0 0 Updated Jan 13, 2025
  • parser-go-xml Public

    Parser for XML in Go

    katydid/parser-go-xml’s past year of commit activity
    Go 0 Apache-2.0 0 0 0 Updated Jan 13, 2025
  • parser-go-yaml Public

    Parser for Yaml in Go

    katydid/parser-go-yaml’s past year of commit activity
    Go 0 Apache-2.0 0 0 0 Updated Jan 13, 2025
  • parser-go-json Public

    Parser for JSON in Go

    katydid/parser-go-json’s past year of commit activity
    Go 0 Apache-2.0 0 0 0 Updated Jan 13, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…