{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"capisce","owner":"cornell-netlab","isFork":false,"description":"Capisce: Control Interface Specifications for Dataplane Pipelines","allTopics":[],"primaryLanguage":{"name":"P4","color":"#7055b5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-31T21:25:24.622Z"}},{"type":"Public","name":"KATch","owner":"cornell-netlab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-20T18:24:08.174Z"}},{"type":"Public","name":"sigcomm23-tutorial","owner":"cornell-netlab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"P4","color":"#7055b5"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-10T16:56:11.559Z"}},{"type":"Public","name":"pifo-trees-artifact","owner":"cornell-netlab","isFork":false,"description":"An artifact in support our paper \"Formal Abstractions for Packet Scheduling\"","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-09T01:27:36.017Z"}},{"type":"Public","name":"hydra-artifact","owner":"cornell-netlab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"P4","color":"#7055b5"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-08T13:20:18.740Z"}},{"type":"Public","name":"yates","owner":"cornell-netlab","isFork":false,"description":"YATES (Yet Another Traffic Engineering System)","allTopics":["simulator","fault-tolerance","optimization","routing","routing-algorithm","oblivious","traffic-engineering"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":4,"starsCount":63,"forksCount":20,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-03T23:31:36.528Z"}},{"type":"Public","name":"avenir","owner":"cornell-netlab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":2,"issueCount":3,"starsCount":6,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-20T14:22:19.121Z"}},{"type":"Public","name":"p4pp","owner":"cornell-netlab","isFork":false,"description":"P4 Preprocessor","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":4,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-18T16:09:58.038Z"}},{"type":"Public","name":"sigcomm21-tutorial","owner":"cornell-netlab","isFork":false,"description":"Materials for SIGCOMM '21 Tutorial on Verification","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-27T16:48:26.198Z"}},{"type":"Public","name":"cav21-tutorial","owner":"cornell-netlab","isFork":false,"description":"Source code for CAV '21 tutorials","allTopics":[],"primaryLanguage":{"name":"P4","color":"#7055b5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-07-21T19:14:35.441Z"}},{"type":"Public archive","name":"poulet4","owner":"cornell-netlab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-10-30T20:29:17.101Z"}},{"type":"Public","name":"MicroP4","owner":"cornell-netlab","isFork":false,"description":"μP4: A framework for programming dataplane of network devices","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":30,"forksCount":6,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-08-04T20:26:38.415Z"}},{"type":"Public","name":"p4check","owner":"cornell-netlab","isFork":false,"description":"P4Check 16: A Static Analysis tool for P4 16 that detects accesses to invalid headers","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":1,"starsCount":7,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-11-20T12:44:58.314Z"}},{"type":"Public","name":"onos","owner":"cornell-netlab","isFork":true,"description":"Open Network Operating System","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":756,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-04-10T01:12:07.392Z"}}],"repositoryCount":14,"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":"cornell-netlab repositories"}