{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"proofs","owner":"katydid","isFork":false,"description":"Proofs written in Lean4 for the core katydid validation algorithm","allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":0,"issueCount":1,"starsCount":13,"forksCount":2,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-15T15:10:08.874Z"}},{"type":"Public","name":"katydid.github.io","owner":"katydid","isFork":false,"description":"Katydid Documentation","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-12T11:42:08.522Z"}},{"type":"Public","name":"coq-lean-cheatsheet","owner":"katydid","isFork":false,"description":"A Cheat Sheet for Coq Developers who want to try LeanProver","allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":13,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-25T18:00:02.711Z"}},{"type":"Public","name":"vpa-talk","owner":"katydid","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-21T20:03:49.663Z"}},{"type":"Public","name":"katydid","owner":"katydid","isFork":false,"description":"Encoding Agnostic Validation (Validation Language, Parsers and Encoders)","allTopics":["serialization","converter","parser","automata","schema","validation","nested-structures","go","encoder"],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":1,"issueCount":1,"starsCount":95,"forksCount":6,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-01-25T11:54:42.626Z"}},{"type":"Public","name":"tour","owner":"katydid","isFork":false,"description":"A Tour of Relapse","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-06-18T07:31:47.874Z"}},{"type":"Public","name":"play","owner":"katydid","isFork":false,"description":"Relapse Playground","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-30T14:20:20.596Z"}},{"type":"Public","name":"jsonschema","owner":"katydid","isFork":false,"description":"[work in progress] Translates JsonSchema to Relapse","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-02-13T16:04:53.960Z"}},{"type":"Public","name":"katydid-haskell","owner":"katydid","isFork":false,"description":"An Encoding Agnostic Validation Language","allTopics":["automata","haskell","schema","validation","nested-structures"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":3,"starsCount":6,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-10-14T17:33:28.384Z"}},{"type":"Public","name":"testsuite","owner":"katydid","isFork":false,"description":"A cross language testsuite for katydid","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-08-29T18:09:00.570Z"}},{"type":"Public","name":"relaxng","owner":"katydid","isFork":false,"description":"Translates RelaxNG to Relapse","allTopics":["validation","xml","relaxng","relaxng-grammar","translates-relaxng"],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":1,"starsCount":2,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-02-15T12:39:30.636Z"}},{"type":"Public","name":"hedgederiv","owner":"katydid","isFork":false,"description":"[experimental] work in progress","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-10-24T18:53:56.510Z"}},{"type":"Public","name":"nwe","owner":"katydid","isFork":false,"description":"[experimental] work in progress","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-06-07T20:42:39.601Z"}},{"type":"Public","name":"checklicense","owner":"katydid","isFork":false,"description":"a very lame command that checks each file for a license","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-04-04T13:01:22.239Z"}},{"type":"Public","name":"v0.1","owner":"katydid","isFork":false,"description":"[deprecated] katydid asm - version 0.1","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-02-16T12:54:38.653Z"}}],"repositoryCount":15,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"katydid repositories"}