{"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":"frenetic-vm","owner":"frenetic-lang","isFork":false,"description":"A VM for hacking on Frenetic","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":2,"starsCount":1,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-09-20T12:34:08.505Z"}},{"type":"Public","name":"opam-repository","owner":"frenetic-lang","isFork":true,"description":"Main public package repository for OPAM, the source package manager of OCaml.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1084,"license":"Creative Commons Zero v1.0 Universal","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-04-26T20:11:44.269Z"}},{"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":"tutorials","owner":"frenetic-lang","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":1,"starsCount":4,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-02-06T22:35:28.463Z"}},{"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":"manual","owner":"frenetic-lang","isFork":false,"description":"Programmers Guide and other written materials","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":1,"starsCount":6,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-07-13T18:24:52.180Z"}},{"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":"featherweight-openflow","owner":"frenetic-lang","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":3,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-03-02T12:14:12.649Z"}},{"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":"opam-bleeding","owner":"frenetic-lang","isFork":false,"description":"Bleeding edge OPAM ","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":2,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-12-10T20:33:23.570Z"}},{"type":"Public","name":"netcore-1.0","owner":"frenetic-lang","isFork":false,"description":"Compiler from NetCore to OpenFlow and associated tools.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":33,"starsCount":14,"forksCount":3,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-11-03T17:05:30.582Z"}},{"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":"api","owner":"frenetic-lang","isFork":false,"description":"Frenetic API documentation","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-07-30T16:51:51.110Z"}},{"type":"Public","name":"opam-doc","owner":"frenetic-lang","isFork":false,"description":"Scripts to build Frenetic API documentation","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-07-25T13:56:38.596Z"}},{"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"}},{"type":"Public","name":"nettle-openflow","owner":"frenetic-lang","isFork":false,"description":"Small patches to nettle-openflow. See <a href=\"https://github.com/AndreasVoellmy/nettle-openflow\">https://github.com/AndreasVoellmy/nettle-openflow</a> for original.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2012-11-12T03:56:53.000Z"}},{"type":"Public","name":"slices","owner":"frenetic-lang","isFork":false,"description":"Tools for language-based isolation","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2012-07-16T14:46:48.000Z"}}],"repositoryCount":23,"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"}