katydid

katydid's repositories

Encoding Agnostic Validation (Validation Language, Parsers and Encoders)

Language:GoApache-2.095 6 2

A Cheat Sheet for Coq Developers who want to try LeanProver

Language:LeanApache-2.013 2 1

Proofs written in Lean4 for the core katydid validation algorithm

Language:LeanApache-2.013 5 11

An Encoding Agnostic Validation Language

Language:HaskellBSD-3-Clause6 4 12

Relapse Playground

Language:JavaScriptApache-2.02 40

Translates RelaxNG to Relapse

Language:GoApache-2.02 4 2

A cross language testsuite for katydid

Language:GoApache-2.01 30

A Tour of Relapse

Language:JavaScriptApache-2.01 30

a very lame command that checks each file for a license

Language:Go030

[experimental] work in progress

Language:HaskellBSD-3-Clause030

[work in progress] Translates JsonSchema to Relapse

Language:GoApache-2.0030

Katydid Documentation

Language:HTMLBSD-2-Clause030

[experimental] work in progress

Language:HaskellBSD-3-Clause030

[deprecated] katydid asm - version 0.1

Language:GoApache-2.0030

Language:HaskellBSD-3-Clause000