{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"proverbot9001","owner":"UCSD-PL","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":2,"issueCount":5,"starsCount":39,"forksCount":17,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T15:15:52.116Z"}},{"type":"Public","name":"vscode","owner":"UCSD-PL","isFork":true,"description":"Visual Studio Code","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":1,"issueCount":15,"starsCount":0,"forksCount":27807,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-23T20:36:58.807Z"}},{"type":"Public","name":"ed-vis-gen","owner":"UCSD-PL","isFork":false,"description":"Educational Visualization DSL and Synthesis","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-08T17:37:13.346Z"}},{"type":"Public","name":"cse-231-starter","owner":"UCSD-PL","isFork":false,"description":"Starter code for 231 LLVM project","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-01-07T20:52:31.954Z"}},{"type":"Public","name":"refscript","owner":"UCSD-PL","isFork":false,"description":"Refinement Types for Scripting Languages","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":16,"starsCount":64,"forksCount":3,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-01-13T23:25:44.056Z"}},{"type":"Public","name":"cse-130-230","owner":"UCSD-PL","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-12-11T04:43:12.179Z"}},{"type":"Public","name":"inv-gen-game","owner":"UCSD-PL","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":5,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-10-18T20:53:11.105Z"}},{"type":"Public","name":"inv-gen-game-chi18","owner":"UCSD-PL","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-04-22T18:44:33.928Z"}},{"type":"Public","name":"veridrone","owner":"UCSD-PL","isFork":false,"description":"Foundational Verification of Hybrid Systems","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":15,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-03-23T04:50:37.179Z"}},{"type":"Public","name":"liquidhaskell-blog","owner":"UCSD-PL","isFork":true,"description":"Octopress is an obsessively designed framework for Jekyll blogging. It’s easy to configure and easy to deploy. Sweet huh?","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":1,"issueCount":0,"starsCount":1,"forksCount":2632,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-09-19T18:48:28.694Z"}},{"type":"Public","name":"ardupilot","owner":"UCSD-PL","isFork":true,"description":"ArduPlane, ArduCopter, ArduRover source","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":16446,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-09-13T19:38:40.805Z"}},{"type":"Public","name":"typed-blockly","owner":"UCSD-PL","isFork":false,"description":"Typed version of Blockly","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-27T16:33:22.111Z"}},{"type":"Public","name":"ivt","owner":"UCSD-PL","isFork":false,"description":"Protecting C++ Dispatch through Interleaved VTables","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-03-20T20:33:10.660Z"}},{"type":"Public","name":"230-web","owner":"UCSD-PL","isFork":false,"description":"Website for CSE230","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":10,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-01-29T04:18:23.625Z"}},{"type":"Public","name":"proof-game","owner":"UCSD-PL","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-11-03T22:30:20.840Z"}},{"type":"Public","name":"nano-js","owner":"UCSD-PL","isFork":false,"description":"Language for experimenting with verification algorithms","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":3,"starsCount":0,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-09-10T20:28:05.541Z"}},{"type":"Public","name":"rsc","owner":"UCSD-PL","isFork":false,"description":"Top-Level repo for RefScript","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-07-23T23:35:46.235Z"}},{"type":"Public","name":"tournament","owner":"UCSD-PL","isFork":false,"description":"Test Server","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-06-08T21:18:02.784Z"}},{"type":"Public","name":"rs-benchmarks","owner":"UCSD-PL","isFork":false,"description":"Experiments porting JS to TS","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-03-25T22:08:13.082Z"}},{"type":"Public","name":"language-ecmascript","owner":"UCSD-PL","isFork":true,"description":"JavaScript parser and additional tools","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":30,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-02-19T04:45:41.729Z"}},{"type":"Public","name":"kraken","owner":"UCSD-PL","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":4,"starsCount":29,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-06-07T01:02:41.049Z"}},{"type":"Public","name":"terror-messages","owner":"UCSD-PL","isFork":false,"description":"Test directed type error messages","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-02-13T06:26:10.220Z"}},{"type":"Public","name":"impscript","owner":"UCSD-PL","isFork":false,"description":"Gradual Types for JavaScript","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-02-06T23:27:48.237Z"}},{"type":"Public","name":"nano-ts","owner":"UCSD-PL","isFork":false,"description":"TypeScript Compiler, modified to emit parsed AST","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2013-12-04T02:47:25.661Z"}},{"type":"Public","name":"csolve-webserver","owner":"UCSD-PL","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2013-07-01T18:31:23.000Z"}},{"type":"Public","name":"cbrowser","owner":"UCSD-PL","isFork":false,"description":"Quark in C","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2013-07-01T18:31:04.000Z"}},{"type":"Public","name":"algorithmic-software-verification","owner":"UCSD-PL","isFork":false,"description":"Course Materials for Graduate Class on Algorithmic Software Verification","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":8,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2013-06-12T03:41:39.000Z"}},{"type":"Public","name":"djs","owner":"UCSD-PL","isFork":true,"description":"Dependent JavaScript: A Typed Dialect","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2013-05-14T02:09:53.000Z"}},{"type":"Public","name":"nano-smt","owner":"UCSD-PL","isFork":false,"description":"\"Toy\" SMT Solver for Educational Purposes","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":21,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2013-04-17T04:45:54.000Z"}}],"repositoryCount":29,"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"}