Skip to content
@katydid

katydid

Validation Language for Protobufs, JSON, XML, etc.

Pinned

  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 15 repositories
  • proofs Public

    Proofs written in Lean4 for the core katydid validation algorithm

    katydid/proofs’s past year of commit activity
    Lean 13 Apache-2.0 3 0 1 Updated Aug 28, 2024
  • katydid.github.io Public

    Katydid Documentation

    katydid/katydid.github.io’s past year of commit activity
    HTML 0 0 0 0 Updated Feb 12, 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 13 Apache-2.0 0 0 0 Updated Jul 25, 2023
  • vpa-talk Public
    katydid/vpa-talk’s past year of commit activity
    Haskell 0 BSD-3-Clause 0 0 0 Updated Apr 21, 2022
  • katydid Public

    Encoding Agnostic Validation (Validation Language, Parsers and Encoders)

    katydid/katydid’s past year of commit activity
    Go 95 Apache-2.0 6 1 1 Updated Jan 25, 2022
  • tour Public

    A Tour of Relapse

    katydid/tour’s past year of commit activity
    JavaScript 1 Apache-2.0 0 0 0 Updated Jun 18, 2021
  • play Public

    Relapse Playground

    katydid/play’s past year of commit activity
    JavaScript 2 Apache-2.0 1 0 0 Updated May 30, 2021
  • jsonschema Public

    [work in progress] Translates JsonSchema to Relapse

    katydid/jsonschema’s past year of commit activity
    Go 0 Apache-2.0 0 0 0 Updated Feb 13, 2020
  • katydid-haskell Public

    An Encoding Agnostic Validation Language

    katydid/katydid-haskell’s past year of commit activity
    Haskell 6 BSD-3-Clause 0 3 0 Updated Oct 14, 2018
  • 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 Aug 29, 2018
View all repositories

Top languages

Loading…

Most used topics

Loading…