{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"smart-contract-scalability","owner":"scslab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-05T07:08:38.364Z"}},{"type":"Public","name":"groundhog-model-checking","owner":"scslab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-16T22:08:43.709Z"}},{"type":"Public","name":"speedex","owner":"scslab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":21,"forksCount":5,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-19T18:13:00.280Z"}},{"type":"Public","name":"tcpcrypt","owner":"scslab","isFork":true,"description":"Fast TCP encryption","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":5,"issueCount":9,"starsCount":205,"forksCount":106,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-31T04:45:16.517Z"}},{"type":"Public","name":"cowl.ws","owner":"scslab","isFork":false,"description":"Static page for cowl.ws","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-18T23:24:58.315Z"}},{"type":"Public","name":"ga","owner":"scslab","isFork":false,"description":"Google Authenticator in the Shell","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":4,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-06T04:08:20.303Z"}},{"type":"Public","name":"iterIO","owner":"scslab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":3,"starsCount":3,"forksCount":3,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-01-17T15:50:33.405Z"}},{"type":"Public","name":"seastar","owner":"scslab","isFork":true,"description":"High performance server-side application framework","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1520,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-10-28T02:56:31.410Z"}},{"type":"Public","name":"hails-cjail","owner":"scslab","isFork":false,"description":"Haskell CJail bindings","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-10-28T01:48:11.168Z"}},{"type":"Public","name":"mutated","owner":"scslab","isFork":false,"description":"The most accurate load-generator in the galaxy","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":3,"starsCount":8,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-10-18T21:32:16.822Z"}},{"type":"Public","name":"hails","owner":"scslab","isFork":false,"description":"The security-centric web platform framework","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":5,"starsCount":52,"forksCount":8,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-09-17T17:21:05.422Z"}},{"type":"Public","name":"fmt","owner":"scslab","isFork":true,"description":"Small, safe and fast formatting library","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2405,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-07-18T16:33:33.694Z"}},{"type":"Public","name":"bad","owner":"scslab","isFork":false,"description":"Stanford Big-Ass-Data Project","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-07-16T19:41:10.506Z"}},{"type":"Public","name":"lio","owner":"scslab","isFork":true,"description":"Labeled IO Library","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":22,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-07-04T23:20:09.175Z"}},{"type":"Public","name":"caddy","owner":"scslab","isFork":true,"description":"Fast, cross-platform HTTP/2 web server with automatic HTTPS","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":3886,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-05-04T06:20:01.799Z"}},{"type":"Public","name":"hails-auth","owner":"scslab","isFork":false,"description":"Hails authentication system","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-04-25T18:40:01.487Z"}},{"type":"Public","name":"structued-mongoDB","owner":"scslab","isFork":false,"description":"Mirror of Structured MongoDB package","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-04-25T18:39:51.564Z"}},{"type":"Public","name":"dpdk","owner":"scslab","isFork":true,"description":"Mirror of Data Plane Development Kit, git://dpdk.org/dpdk (<a href=\"http://dpdk.org\" rel=\"nofollow\">http://dpdk.org</a>)","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":189,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-09-01T07:43:28.235Z"}},{"type":"Public","name":"cowl","owner":"scslab","isFork":false,"description":"COWL implementation for Firefox","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":3,"starsCount":12,"forksCount":4,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-06-11T22:42:22.088Z"}},{"type":"Public","name":"cjail","owner":"scslab","isFork":false,"description":"Arch linux cjail mirror","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-04-01T00:00:39.342Z"}},{"type":"Public","name":"lbh","owner":"scslab","isFork":true,"description":"Learn by Hacking. A web app for writing interactive tutorials on how to write code.","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-03-08T06:25:50.156Z"}},{"type":"Public","name":"lio-semantics","owner":"scslab","isFork":false,"description":"Formal semantics for LIO","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-12-31T01:52:11.100Z"}},{"type":"Public","name":"gitstar","owner":"scslab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":1,"starsCount":6,"forksCount":5,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-11-01T07:21:26.321Z"}},{"type":"Public","name":"lio-demo","owner":"scslab","isFork":false,"description":"Building secure system with LIO (demo)","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-07-04T06:59:13.111Z"}},{"type":"Public","name":"cs240h-notes","owner":"scslab","isFork":false,"description":"Stanford CS240h Class Notes -- Functional Systems in Haskell","allTopics":[],"primaryLanguage":null,"pullRequestCount":4,"issueCount":0,"starsCount":28,"forksCount":8,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-06-03T19:07:40.635Z"}},{"type":"Public","name":"appdeploy","owner":"scslab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-05-30T23:47:26.221Z"}},{"type":"Public","name":"lambdexer","owner":"scslab","isFork":false,"description":"Indexes your Haskell package-db","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-05-14T21:44:57.456Z"}},{"type":"Public","name":"lio-tutorial","owner":"scslab","isFork":false,"description":"Haskell and LIO tutorial","allTopics":[],"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-04-23T06:11:59.630Z"}},{"type":"Public","name":"simple","owner":"scslab","isFork":true,"description":"A minimal Haskell web-framework based on the WAI web server interface.","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":10,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-04-20T08:58:56.323Z"}},{"type":"Public","name":"gitstar-policy","owner":"scslab","isFork":false,"description":"Gitstar policy module","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-04-08T09:22:16.789Z"}}],"repositoryCount":53,"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"}