{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"wyvernlang.github.io","owner":"wyvernlang","isFork":false,"description":"Wyvern website","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-17T00:46:01.776Z"}},{"type":"Public","name":"wyvern","owner":"wyvernlang","isFork":false,"description":"The Wyvern programming language.","topicNames":["programming-language"],"topicsNotShown":0,"allTopics":["programming-language"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":4,"issueCount":59,"starsCount":551,"forksCount":66,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-12T05:57:06.743Z"}},{"type":"Public","name":"docs","owner":"wyvernlang","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":1,"starsCount":9,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-31T00:54:17.458Z"}},{"type":"Public","name":"grad-ver","owner":"wyvernlang","isFork":false,"description":"Gradual verification","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":1,"issueCount":0,"starsCount":8,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-02-25T01:41:34.130Z"}},{"type":"Public","name":"wyvern-copper","owner":"wyvernlang","isFork":false,"description":"A github clone of the MELT Copper project. Home: <a href=\"http://melt.cs.umn.edu/copper/\" rel=\"nofollow\">http://melt.cs.umn.edu/copper/</a>","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-06-06T01:50:24.423Z"}},{"type":"Public","name":"tslwyvern","owner":"wyvernlang","isFork":false,"description":"An implementation of TSL Wyvern (ECOOP'14) in Scala. Typechecker + translator to Scala.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":7,"starsCount":5,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-05-17T00:20:23.537Z"}}],"repositoryCount":6,"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":"Repositories"}