{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"frenetic","owner":"frenetic-lang","isFork":false,"description":"The Frenetic Programming Language and Runtime System","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":3,"issueCount":18,"starsCount":218,"forksCount":52,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-14T20:04:35.874Z"}},{"type":"Public","name":"ox","owner":"frenetic-lang","isFork":false,"description":" A platform for writing OpenFlow controllers","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":2,"starsCount":13,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-03-02T05:01:05.770Z"}},{"type":"Public","name":"ocaml-tdk","owner":"frenetic-lang","isFork":false,"description":"The Decision Kit","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":1,"issueCount":0,"starsCount":8,"forksCount":4,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-15T15:18:08.349Z"}},{"type":"Public","name":"netkat-automata","owner":"frenetic-lang","isFork":false,"description":"A Coalgebraic Decision Procedure for NetKAT","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-05-27T05:27:07.820Z"}},{"type":"Public","name":"fattire","owner":"frenetic-lang","isFork":false,"description":"Fault Tolerant Frenetic with Path Expressions","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":2,"starsCount":4,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-11-15T21:57:35.817Z"}},{"type":"Public","name":"netkat","owner":"frenetic-lang","isFork":false,"description":"Starting a Coq NetKAT","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":8,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-11-03T16:01:40.997Z"}},{"type":"Public","name":"ocaml-topology","owner":"frenetic-lang","isFork":false,"description":"OCaml topology package","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":1,"issueCount":4,"starsCount":5,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-02-03T17:24:16.388Z"}},{"type":"Public","name":"ocaml-openflow","owner":"frenetic-lang","isFork":false,"description":"Serialization library for OpenFlow","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":6,"issueCount":11,"starsCount":13,"forksCount":4,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-07-16T17:12:42.750Z"}},{"type":"Public","name":"ocaml-packet","owner":"frenetic-lang","isFork":false,"description":"Serialization for some common network packets, including ethernet frames, IP, TCP, and ARP.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":3,"starsCount":10,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-02-02T23:15:00.546Z"}},{"type":"Public","name":"gates","owner":"frenetic-lang","isFork":false,"description":"Gates Hall OpenFlow Controller","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-10-29T14:37:35.288Z"}},{"type":"Public","name":"dprle","owner":"frenetic-lang","isFork":true,"description":"git mirror of dprle's svn repository at <a href=\"http://sourceforge.net/p/dprle/code/HEAD/tree/\" rel=\"nofollow\">http://sourceforge.net/p/dprle/code/HEAD/tree/</a>","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-05-20T20:15:59.181Z"}},{"type":"Public","name":"pathetic","owner":"frenetic-lang","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2013-07-02T20:05:14.000Z"}}],"repositoryCount":12,"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"}