Skip to content

@katydid katydid

Change the repository type filter

All

    Repositories list

    18 repositories

    • validator-gogo-proto

      Public
      Go
      •
      Apache License 2.0
      •0•1•0•0•Updated Sep 22, 2024Sep 22, 2024

    • validator-go

      Public
      regular expression language for serialized data
      Go
      •
      Apache License 2.0
      •0•0•0•0•Updated Sep 22, 2024Sep 22, 2024

    • proofs

      Public
      Proofs written in Lean4 for the core katydid validation algorithm
      Lean
      •
      Apache License 2.0
      •3•14•0•0•Updated Sep 3, 2024Sep 3, 2024

    • symbolic-automatic-derivatives

      Public
      Symbolic and Automatic Differentiation of Languages in Lean
      Lean
      •
      Apache License 2.0
      •1•7•0•1•Updated Sep 3, 2024Sep 3, 2024

    • katydid.github.io

      Public
      Katydid Documentation
      HTML
      •0•0•0•0•Updated Feb 12, 2024Feb 12, 2024

    • coq-lean-cheatsheet

      Public
      A Cheat Sheet for Coq Developers who want to try LeanProver
      Lean
      •
      Apache License 2.0
      •0•13•0•0•Updated Jul 25, 2023Jul 25, 2023

    • vpa-talk

      Public
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Apr 21, 2022Apr 21, 2022

    • katydid

      Public
      Encoding Agnostic Validation (Validation Language, Parsers and Encoders)
      serializationconverterparserautomataschemavalidationnested-structuresgoencoder
      Go
      •
      Apache License 2.0
      •6•95•1•1•Updated Jan 25, 2022Jan 25, 2022

    • tour

      Public
      A Tour of Relapse
      JavaScript
      •
      Apache License 2.0
      •0•1•0•0•Updated Jun 18, 2021Jun 18, 2021

    • play

      Public
      Relapse Playground
      JavaScript
      •
      Apache License 2.0
      •1•2•0•0•Updated May 30, 2021May 30, 2021

    • jsonschema

      Public
      [work in progress] Translates JsonSchema to Relapse
      Go
      •
      Apache License 2.0
      •0•0•0•0•Updated Feb 13, 2020Feb 13, 2020

    • katydid-haskell

      Public
      An Encoding Agnostic Validation Language
      automatahaskellschemavalidationnested-structures
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•6•3•0•Updated Oct 14, 2018Oct 14, 2018

    • testsuite

      Public
      A cross language testsuite for katydid
      Go
      •
      Apache License 2.0
      •2•1•0•0•Updated Aug 29, 2018Aug 29, 2018

    • relaxng

      Public
      Translates RelaxNG to Relapse
      validationxmlrelaxngrelaxng-grammartranslates-relaxng
      Go
      •
      Apache License 2.0
      •0•2•1•0•Updated Feb 15, 2018Feb 15, 2018

    • hedgederiv

      Public
      [experimental] work in progress
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Oct 24, 2017Oct 24, 2017

    • nwe

      Public
      [experimental] work in progress
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Jun 7, 2017Jun 7, 2017

    • checklicense

      Public
      a very lame command that checks each file for a license
      Go
      •0•0•0•0•Updated Apr 4, 2016Apr 4, 2016

    • v0.1

      Public
      [deprecated] katydid asm - version 0.1
      Go
      •
      Apache License 2.0
      •0•0•0•0•Updated Feb 16, 2016Feb 16, 2016