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-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 25 repositories
  • parser Public

    Documentation on the Katydid Parser

    katydid/parser’s past year of commit activity
    0 Apache-2.0 0 0 0 Updated Feb 24, 2025
  • regex-deriv-lean Public

    Proofs written in Lean4 for the core katydid validation algorithm

    katydid/regex-deriv-lean’s past year of commit activity
    Lean 14 Apache-2.0 3 0 0 Updated Feb 20, 2025
  • validator-go-relaxng Public

    Translates RelaxNG to Relapse

    katydid/validator-go-relaxng’s past year of commit activity
    Go 2 Apache-2.0 0 1 0 Updated Feb 20, 2025
  • validator-gogo-proto Public

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

    katydid/validator-gogo-proto’s past year of commit activity
    Go 1 Apache-2.0 0 0 0 Updated Feb 20, 2025
  • 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 Feb 20, 2025
  • validator-testsuite Public

    A cross language testsuite for katydid

    katydid/validator-testsuite’s past year of commit activity
    Go 1 Apache-2.0 2 0 0 Updated Feb 20, 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 Feb 20, 2025
  • experiment-encode-gogo-proto Public

    [Deprecated] 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 Feb 20, 2025
  • parser-gogo-proto Public

    [Deprecated] 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 Feb 19, 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 Feb 19, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…