{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"batfish","owner":"batfish","isFork":false,"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.","topicNames":["network","configuration","network-analysis","network-automation","network-security","configuration-parser","network-verification","configuration-analysis","network-validation"],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":4,"issueCount":263,"starsCount":1034,"forksCount":227,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-14T20:36:25.437Z"}},{"type":"Public","name":"pybatfish","owner":"batfish","isFork":false,"description":"Python client for Batfish: <a href=\"https://github.com/batfish/batfish\">https://github.com/batfish/batfish</a>","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":5,"starsCount":203,"forksCount":50,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-14T20:27:14.266Z"}},{"type":"Public","name":"docker","owner":"batfish","isFork":false,"description":"Docker containers for Batfish and Pybatfish","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":3,"starsCount":11,"forksCount":14,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-14T16:21:11.015Z"}},{"type":"Public","name":"batfish.github.io","owner":"batfish","isFork":false,"description":"Contains the website for the Batfish project: <a href=\"https://github.com/batfish/batfish\">https://github.com/batfish/batfish</a>","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"SCSS","color":"#c6538c"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":8,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-26T03:51:17.550Z"}},{"type":"Public","name":"Antlr4Formatter","owner":"batfish","isFork":true,"description":"Formatter for ANTLR 4 grammars","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"ANTLR","color":"#9DC3FF"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":15,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-02-15T19:52:11.060Z"}},{"type":"Public","name":"z3","owner":"batfish","isFork":true,"description":"The Z3 Theorem Prover","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1447,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-05-17T06:33:19.825Z"}},{"type":"Public","name":"af19-demo","owner":"batfish","isFork":false,"description":"Batfish Network CI demo for Ansiblefest 2019","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":35,"forksCount":11,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-02-07T05:54:40.837Z"}},{"type":"Public","name":"example-dc","owner":"batfish","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-04-16T18:34:34.698Z"}},{"type":"Public","name":"example-campus","owner":"batfish","isFork":false,"description":"An example campus network","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-10-11T05:48:01.957Z"}},{"type":"Public","name":"minesweeper","owner":"batfish","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-08-23T13:27:11.404Z"}}],"repositoryCount":10,"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":"mirror","text":"Mirrors"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}