Pinned Repositories
coq-lean-cheatsheet
A Cheat Sheet for Coq Developers who want to try LeanProver
katydid
Encoding Agnostic Validation (Validation Language, Parsers and Encoders)
katydid-haskell
An Encoding Agnostic Validation Language
katydid.github.io
Katydid Documentation
play
Relapse Playground
proofs
Proofs written in Lean4 for the core katydid validation algorithm
regex-derivatives-coq
relaxng
Translates RelaxNG to Relapse
symbolic-automatic-derivatives
Symbolic and Automatic Differentiation of Languages in Lean
tour
A Tour of Relapse
katydid's Repositories
katydid/katydid
Encoding Agnostic Validation (Validation Language, Parsers and Encoders)
katydid/regex-derivatives-coq
katydid/coq-lean-cheatsheet
A Cheat Sheet for Coq Developers who want to try LeanProver
katydid/proofs
Proofs written in Lean4 for the core katydid validation algorithm
katydid/symbolic-automatic-derivatives
Symbolic and Automatic Differentiation of Languages in Lean
katydid/katydid-haskell
An Encoding Agnostic Validation Language
katydid/play
Relapse Playground
katydid/relaxng
Translates RelaxNG to Relapse
katydid/testsuite
A cross language testsuite for katydid
katydid/tour
A Tour of Relapse
katydid/validator-gogo-proto
katydid/checklicense
a very lame command that checks each file for a license
katydid/hedgederiv
[experimental] work in progress
katydid/jsonschema
[work in progress] Translates JsonSchema to Relapse
katydid/katydid.github.io
Katydid Documentation
katydid/nwe
[experimental] work in progress
katydid/v0.1
[deprecated] katydid asm - version 0.1
katydid/validator-go
regular expression language for serialized data
katydid/vpa-talk