Skip to content

@katydid katydid

All

    Repositories list

    41 repositories

    • paper-2027-fast-filter-lean

      Public
      Lean
      •
      Apache License 2.0
      •0•0•0•0•Updated Oct 14, 2026Oct 14, 2026

    • paper-2027-fast-filter-latex

      Public
      TeX
      •0•0•0•0•Updated Oct 14, 2026Oct 14, 2026

    • validator-jsonschema-benchmarks

      Public
      Go
      •7•2•0•0•Updated Oct 11, 2026Oct 11, 2026

    • validator-go-jsonschema

      Public
      JSON Schema in Go
      Go
      •
      Apache License 2.0
      •0•0•0•0•Updated Oct 9, 2026Oct 9, 2026

    • validator-go-proto

      Public
      Katydid Validator for Protocol Buffers in Go
      Go
      •
      Apache License 2.0
      •0•0•0•0•Updated Oct 9, 2026Oct 9, 2026

    • validator-go

      Public
      regular expression language for serialized data
      Go
      •
      Apache License 2.0
      •0•1•0•0•Updated Oct 9, 2026Oct 9, 2026

    • validator-testsuite

      Public
      A cross language testsuite for katydid
      Go
      •
      Apache License 2.0
      •3•1•0•0•Updated Oct 9, 2026Oct 9, 2026

    • parser-go-proto

      Public
      Parser for Protocol Buffers in Go
      Go
      •
      Apache License 2.0
      •1•0•1•0•Updated Oct 7, 2026Oct 7, 2026

    • parser-go-reflect

      Public
      Reflection based parser in Go
      Go
      •
      Apache License 2.0
      •0•1•0•0•Updated Oct 7, 2026Oct 7, 2026

    • parser-go-xml

      Public
      Parser for XML in Go
      Go
      •
      Apache License 2.0
      •0•1•0•0•Updated Oct 7, 2026Oct 7, 2026

    • parser-go-json

      Public
      Parser for JSON in Go
      Go
      •
      Apache License 2.0
      •0•0•1•0•Updated Oct 7, 2026Oct 7, 2026

    • parser-go

      Public
      Parser interface in Go
      Go
      •
      Apache License 2.0
      •0•0•1•0•Updated Oct 7, 2026Oct 7, 2026

    • paper-2027-mem-filter-lean

      Public
      Memoized Derivatives for Fast Filtering and Schema Validation of Semi-Structured Data (Lean)
      Lean
      •
      Apache License 2.0
      •0•0•0•0•Updated Oct 6, 2026Oct 6, 2026

    • parser

      Public
      Katydid Parser Design Documentation
      Apache License 2.0
      •1•0•7•0•Updated Sep 5, 2026Sep 5, 2026

    • paper-2027-mem-filter-latex

      Public
      Memoized Derivatives for Fast Filtering and Schema Validation of Semi-Structured Data (Latex)
      TeX
      •0•0•0•0•Updated Sep 5, 2026Sep 5, 2026

    • parser-go-yaml

      Public
      Parser for Yaml in Go
      Go
      •
      Apache License 2.0
      •0•0•0•0•Updated Sep 2, 2026Sep 2, 2026

    • katydid.github.io

      Public
      Katydid Documentation
      CSS
      •0•0•0•0•Updated Aug 24, 2026Aug 24, 2026

    • paper-2027-mem-filter-go-jsonschema

      Public
      Memoized Derivatives for Fast Filtering and Schema Validation of Semi-Structured Data (JSON Schema Go)
      Go
      •
      Apache License 2.0
      •0•0•0•0•Updated Jul 1, 2026Jul 1, 2026

    • paper-2027-mem-filter-benchmarks-jsonschema

      Public
      Memoized Derivatives for Fast Filtering and Schema Validation of Semi-Structured Data (JSON Schema Benchmarks)
      Go
      •0•0•0•0•Updated Jul 1, 2026Jul 1, 2026

    • paper-2027-mem-filter-benchmarks-mem-go

      Public
      Memoized Derivatives for Fast Filtering and Schema Validation of Semi-Structured Data (Memoize Benchmark Runner Go)
      Go
      •
      Apache License 2.0
      •0•0•0•0•Updated Jul 1, 2026Jul 1, 2026

    • paper-2027-mem-filter-benchmarks-mem-suite

      Public
      Memoized Derivatives for Fast Filtering and Schema Validation of Semi-Structured Data (Memoize Benchmark Suite)
      Go
      •
      Apache License 2.0
      •0•0•0•0•Updated Jul 1, 2026Jul 1, 2026

    • paper-2026-verified-filter-lean

      Public
      Verified Derivatives for Fast Filtering and Schema Validation of Semi-Structured Data (Lean)
      Lean
      •
      Apache License 2.0
      •1•0•0•0•Updated May 20, 2026May 20, 2026

    • paper-2026-verified-filter-latex

      Public
      Verified Derivatives for Fast Filtering and Schema Validation of Semi-Structured Data (Latex)
      TeX
      •
      LaTeX Project Public License v1.3c
      •0•0•0•0•Updated Apr 30, 2026Apr 30, 2026

    • paper-2026-verified-filter-testsuite

      Public
      Verified Derivatives for Fast Filtering and Schema Validation of Semi-Structured Data (TestSuite)
      Go
      •
      Apache License 2.0
      •0•0•0•0•Updated Feb 19, 2026Feb 19, 2026

    • experiment-capture2-lean

      Public
      Lean
      •
      Apache License 2.0
      •0•0•0•0•Updated Feb 13, 2026Feb 13, 2026

    • paper-2026-verified-filter-go

      Public
      Verified Derivatives for Fast Filtering and Schema Validation of Semi-Structured Data (Golang)
      Go
      •
      Apache License 2.0
      •0•0•0•0•Updated Feb 6, 2026Feb 6, 2026

    • validator-lean

      Public
      Lean
      •
      Apache License 2.0
      •1•0•0•0•Updated Dec 29, 2025Dec 29, 2025

    • experiment-capture-lean

      Public
      Experimental Capturing of Hedges and Parsers in Lean
      Lean
      •
      Apache License 2.0
      •1•0•0•0•Updated Dec 12, 2025Dec 12, 2025

    • regex-deriv-lean

      Public
      Proofs written in Lean4 for the core katydid validation algorithm
      Lean
      •
      Apache License 2.0
      •5•18•3•0•Updated Sep 17, 2025Sep 17, 2025

    • validator-go-relaxng

      Public
      Translates RelaxNG to Relapse
      validationxmlrelaxng
      validationxmlrelaxngrelaxng-grammartranslates-relaxng
      Go
      •
      Apache License 2.0
      •0•2•1•0•Updated Jun 21, 2025Jun 21, 2025
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.