{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"pretty-expressive-oopsla23-artifact","owner":"uw-unsat","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-14T20:00:46.906Z"}},{"type":"Public","name":"jitterbug","owner":"uw-unsat","isFork":false,"description":"Verification of BPF JIT compilers","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":52,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-03T20:16:19.880Z"}},{"type":"Public","name":"exoverifier","owner":"uw-unsat","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":12,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-09T17:14:47.341Z"}},{"type":"Public","name":"yggdrasil","owner":"uw-unsat","isFork":false,"description":"","topicNames":["filesystem","verification","yggdrasil"],"topicsNotShown":0,"allTopics":["filesystem","verification","yggdrasil"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":30,"forksCount":7,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-15T19:45:04.318Z"}},{"type":"Public","name":"serval","owner":"uw-unsat","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Racket","color":"#3c5caa"},"pullRequestCount":1,"issueCount":1,"starsCount":44,"forksCount":13,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-04T23:04:32.182Z"}},{"type":"Public","name":"leanette-popl22-artifact","owner":"uw-unsat","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Racket","color":"#3c5caa"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-16T04:37:26.271Z"}},{"type":"Public","name":"nickel","owner":"uw-unsat","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-20T19:26:43.110Z"}},{"type":"Public","name":"jitsynth","owner":"uw-unsat","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Racket","color":"#3c5caa"},"pullRequestCount":0,"issueCount":0,"starsCount":16,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-05-01T19:35:43.491Z"}},{"type":"Public","name":"hyperkernel","owner":"uw-unsat","isFork":false,"description":"","topicNames":["kernel","verification","hyperkernel"],"topicsNotShown":0,"allTopics":["kernel","verification","hyperkernel"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":1,"starsCount":180,"forksCount":25,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-03-08T00:42:17.189Z"}},{"type":"Public archive","name":"bpf-jit-verif","owner":"uw-unsat","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Racket","color":"#3c5caa"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-03-02T18:19:38.864Z"}},{"type":"Public","name":"symfix-vmcai20","owner":"uw-unsat","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Racket","color":"#3c5caa"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-12-21T13:46:07.225Z"}},{"type":"Public","name":"serval-tutorial-sosp19","owner":"uw-unsat","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":13,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-11-11T21:55:41.445Z"}},{"type":"Public","name":"serval-sosp19","owner":"uw-unsat","isFork":false,"description":"This repo contains the artifact for our SOSP'19 paper on Serval","topicNames":["racket","verification","riscv","rosette","sosp"],"topicsNotShown":0,"allTopics":["racket","verification","riscv","rosette","sosp"],"primaryLanguage":{"name":"Racket","color":"#3c5caa"},"pullRequestCount":0,"issueCount":0,"starsCount":27,"forksCount":6,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-09-11T05:17:05.054Z"}}],"repositoryCount":13,"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"}