katydid

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