{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"Timepiece","owner":"NetworkVerification","isFork":false,"description":"Modular network control plane verification tool, using temporal invariants to define modular interfaces","allTopics":["verification","control-plane","temporal-reasoning","modular-verification"],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-20T16:38:54.517Z"}},{"type":"Public","name":".github","owner":"NetworkVerification","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-16T22:38:38.656Z"}},{"type":"Public","name":"angler","owner":"NetworkVerification","isFork":false,"description":"An extraction tool for interacting with Batfish","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-16T22:04:54.004Z"}},{"type":"Public","name":"nv","owner":"NetworkVerification","isFork":false,"description":"A Framework for Modeling and Analyzing Network Configurations","allTopics":["network-analysis","network-validation","network-verification"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":27,"starsCount":31,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-20T19:23:06.652Z"}},{"type":"Public","name":"batfish","owner":"NetworkVerification","isFork":true,"description":"Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely evolve their network, without fear of outages or security breaches.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":228,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-21T15:26:21.329Z"}},{"type":"Public","name":"netverify.github.io","owner":"NetworkVerification","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":10,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-06-21T19:18:36.855Z"}}],"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"}