Owner

katydid

9 indexed repositories · View on GitHub

validator-gogo-deprecated-v0.3
Encoding Agnostic Validation (Validation Language, Parsers and Encoders)

Go · 94 stars
regex-deriv-coq

Coq · 22 stars
regex-deriv-lean
Proofs written in Lean4 for the core katydid validation algorithm

Lean · 18 stars
katydid-haskell
An Encoding Agnostic Validation Language

Haskell · 6 stars
validator-go-relaxng
Translates RelaxNG to Relapse

Go · 2 stars
parser-go-json
Parser for JSON in Go

Go · 0 stars
parser-go-proto
Parser for Protocol Buffers in Go

Go · 0 stars
parser
Katydid Parser Design Documentation

0 stars
parser-go
Parser interface in Go

Go · 0 stars

Open All

Use aeson's token stream for json parser Open

katydid/katydid-haskell#6 · 10 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Optimize Open

katydid/katydid-haskell#13 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Consider xeno for faster xml Open

katydid/katydid-haskell#14 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
setup github action Open

katydid/validator-gogo-deprecated-v0.3#8 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Getting Started with a Good First Issue Open

good first issue

katydid/regex-deriv-coq#17 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Looking for a challenge, tackle an issue tagged with Help Wanted Open

help wanted

katydid/regex-deriv-coq#18 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Don't be afraid to open an issue to ask a question Open

question

katydid/regex-deriv-coq#19 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
puns Open

documentation good first issue

katydid/regex-deriv-coq#69 · 4 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Add examples and comments for all tactics that don't have them yet Open

documentation good first issue

katydid/regex-deriv-coq#86 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Mistake in inductive definition of `concat_not_matches` Open

bug

katydid/regex-deriv-coq#100 · 6 comments · 1 reaction · 0 assignees · Indexed Sep 18, 2026
Add Paper: Recognising and Generating Terms using Derivatives of Parsing Expression Grammars Open

enhancement help wanted

katydid/regex-deriv-coq#112 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Extend the Truthy tactic Open

enhancement good first issue

katydid/regex-deriv-coq#119 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
more auto in ExampleR.v Open

enhancement help wanted

katydid/regex-deriv-coq#135 · 9 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Use Coq standard library's Decidable Open

enhancement good first issue

katydid/regex-deriv-coq#136 · 0 comments · 1 reaction · 0 assignees · Indexed Sep 18, 2026
Try alectryon as a way to generate readable proofs Open

enhancement help wanted

katydid/regex-deriv-coq#142 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Try Tactician Open

enhancement help wanted

katydid/regex-deriv-coq#143 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
More auto for lists Open

enhancement good first issue

katydid/regex-deriv-coq#147 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Definition vs Inductive Open

help wanted

katydid/regex-deriv-coq#160 · 7 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Rewriting between two setoids: bisimilar and lang_iff Open

help wanted

katydid/regex-deriv-coq#172 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Adopt some of the crush tactic for more automated proving Open

enhancement

katydid/regex-deriv-coq#178 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Automate proving of splitting of lists with exists aka concat Open

enhancement help wanted

katydid/regex-deriv-coq#189 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
namespaces are not supported Open

katydid/validator-go-relaxng#2 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Prove that building a DFA using derivatives terminates Open

enhancement help wanted

katydid/regex-deriv-lean#139 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Rewrite proofs with new LawfulOrd Open

enhancement help wanted

katydid/regex-deriv-lean#146 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
use the show tactic and document it Open

documentation good first issue

katydid/regex-deriv-lean#147 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
use simd instructions to make json parser faster Open

enhancement help wanted

katydid/parser-go-json#26 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Add support for protobuf maps Open

katydid/parser-go-proto#3 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Consider adding more basic types to the survey Open

katydid/parser#3 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 18, 2026
implement partial deserializer to test out parser interface Open

katydid/parser#4 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 18, 2026
open question: How well do parsers compose Open

katydid/parser#5 · 1 comment · 0 reactions · 1 assignee · Indexed Sep 18, 2026
implement transcoder to test out parser interface Open

katydid/parser#6 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 18, 2026
Document use cases and make sure we have examples covering them all Open

katydid/parser#7 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 18, 2026
table of transcoding Open

katydid/parser#8 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 18, 2026
more references for survey Open

katydid/parser#9 · 1 comment · 0 reactions · 1 assignee · Indexed Sep 18, 2026
pool: create a more efficient pool implementation Open

enhancement help wanted

katydid/parser-go#20 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026

katydid

Get new issues in your inbox