{"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.","allTopics":["network","configuration","network-analysis","network-automation","network-security","configuration-parser","network-verification","configuration-analysis","network-validation"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":5,"issueCount":266,"starsCount":1116,"forksCount":230,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-19T03:40:22.422Z"}},{"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>","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":5,"starsCount":204,"forksCount":50,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-19T01:39:08.266Z"}},{"type":"Public","name":"docker","owner":"batfish","isFork":false,"description":"Docker containers for Batfish and Pybatfish","allTopics":[],"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-06-10T00:16:25.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>","allTopics":[],"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 archive","name":"ansible","owner":"batfish","isFork":false,"description":"Snapshot of a Batfish Ansible integration from 2020","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":3,"starsCount":42,"forksCount":13,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-11T18:20:46.605Z"}},{"type":"Public","name":"Antlr4Formatter","owner":"batfish","isFork":true,"description":"Formatter for ANTLR 4 grammars","allTopics":[],"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","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1450,"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","allTopics":[],"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 archive","name":"ansible-demo","owner":"batfish","isFork":false,"description":"Repository for Ansible Demo","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":7,"forksCount":4,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-06-15T17:39:22.358Z"}},{"type":"Public archive","name":"javabdd","owner":"batfish","isFork":false,"description":"Fork of JavaBDD (<a href=\"http://javabdd.sourceforge.net/\" rel=\"nofollow\">http://javabdd.sourceforge.net/</a>)","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-07-24T23:00:40.851Z"}},{"type":"Public","name":"example-dc","owner":"batfish","isFork":false,"description":"","allTopics":[],"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","allTopics":[],"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":"","allTopics":[],"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":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"}