Skip to content
@katydid

katydid

Validation Language for Protobufs, JSON, XML, etc.

Pinned Loading

  1. katydid katydid Public

    Encoding Agnostic Validation (Validation Language, Parsers and Encoders)

    Go 95 6

  2. katydid-haskell katydid-haskell Public

    An Encoding Agnostic Validation Language

    Haskell 6

  3. katydid.github.io katydid.github.io Public

    Katydid Documentation

    HTML

  4. play play Public

    Relapse Playground

    JavaScript 2 1

  5. tour tour Public

    A Tour of Relapse

    JavaScript 1

  6. relaxng relaxng Public

    Translates RelaxNG to Relapse

    Go 2

Repositories

Showing 10 of 19 repositories
  • proofs Public

    Proofs written in Lean4 for the core katydid validation algorithm

    katydid/proofs’s past year of commit activity
    Lean 14 Apache-2.0 3 0 0 Updated Dec 23, 2024
  • symbolic-automatic-derivatives Public

    Symbolic and Automatic Differentiation of Languages in Lean

    katydid/symbolic-automatic-derivatives’s past year of commit activity
    Lean 8 Apache-2.0 1 0 1 Updated Dec 8, 2024
  • regex-derivatives-coq Public
    katydid/regex-derivatives-coq’s past year of commit activity
    Coq 21 Apache-2.0 7 17 (8 issues need help) 0 Updated Dec 3, 2024
  • testsuite Public

    A cross language testsuite for katydid

    katydid/testsuite’s past year of commit activity
    Go 1 Apache-2.0 2 0 0 Updated Oct 22, 2024
  • validator-gogo-proto Public
    katydid/validator-gogo-proto’s past year of commit activity
    Go 1 Apache-2.0 0 0 0 Updated Oct 22, 2024
  • 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 Oct 22, 2024
  • tour Public

    A Tour of Relapse

    katydid/tour’s past year of commit activity
    JavaScript 1 Apache-2.0 0 0 0 Updated Oct 22, 2024
  • play Public

    Relapse Playground

    katydid/play’s past year of commit activity
    JavaScript 2 Apache-2.0 1 0 0 Updated Oct 22, 2024
  • katydid.github.io Public

    Katydid Documentation

    katydid/katydid.github.io’s past year of commit activity
    HTML 0 0 0 0 Updated Oct 19, 2024
  • coq-lean-cheatsheet Public

    A Cheat Sheet for Coq Developers who want to try LeanProver

    katydid/coq-lean-cheatsheet’s past year of commit activity
    Lean 15 Apache-2.0 0 0 0 Updated Jul 25, 2023
View all repositories

Top languages

Loading…

Most used topics

Loading…