{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"Formula-Render","owner":"ProgramLeague","isFork":false,"description":"Parse and Rendering of Formula Code","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-10-18T17:51:03.811Z"}},{"type":"Public","name":"SCMath","owner":"ProgramLeague","isFork":false,"description":"symbolic-computation engine","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-09-30T14:52:44.413Z"}},{"type":"Public","name":"Physics-lab","owner":"ProgramLeague","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-06-10T14:34:09.863Z"}},{"type":"Public","name":"SCMath-Lang","owner":"ProgramLeague","isFork":false,"description":"Cross-platform SCMath with command line frontend","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-05-02T05:42:26.116Z"}},{"type":"Public","name":"EditorFrontend","owner":"ProgramLeague","isFork":false,"description":"Structured Editor Frontend","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-12-12T08:47:56.981Z"}},{"type":"Public archive","name":"website","owner":"ProgramLeague","isFork":false,"description":"[招募后端！联系Ray-Eldath] NoError(s): Build completed, no error(s) occurred.","topicNames":["website","jquery","vue"],"topicsNotShown":0,"allTopics":["website","jquery","vue"],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":1,"starsCount":7,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-07-14T06:30:49.375Z"}},{"type":"Public","name":"Natural_Logic_Interpreter","owner":"ProgramLeague","isFork":true,"description":"Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":10,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-06-06T17:22:58.712Z"}},{"type":"Public","name":"EW.Email","owner":"ProgramLeague","isFork":false,"description":"📧 Use email to wake your PC, and so on.","topicNames":["email","email-boilerplate","handler"],"topicsNotShown":0,"allTopics":["email","email-boilerplate","handler"],"primaryLanguage":{"name":"Kotlin","color":"#A97BFF"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-03-10T15:01:20.871Z"}},{"type":"Public","name":"SCP-ProgramLeague","owner":"ProgramLeague","isFork":false,"description":"[资料删除]","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-03-01T13:32:37.454Z"}},{"type":"Public","name":"iTunesXMLParser","owner":"ProgramLeague","isFork":false,"description":"A parser for iTunes exported XML file.","topicNames":["itunes","xml-parsing","itunes-music-library"],"topicsNotShown":0,"allTopics":["itunes","xml-parsing","itunes-music-library"],"primaryLanguage":{"name":"Kotlin","color":"#A97BFF"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-01-13T05:41:03.545Z"}},{"type":"Public","name":"TreeLang","owner":"ProgramLeague","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-10-21T15:56:31.334Z"}},{"type":"Public","name":"vulcan","owner":"ProgramLeague","isFork":true,"description":"A JavaScript propositional logic and resolution library","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":9,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-09-19T22:44:32.425Z"}},{"type":"Public","name":"Avalon-Executive","owner":"ProgramLeague","isFork":false,"description":"A safe program compiler & executor base on Docker.","topicNames":["docker","sandbox","executor-service"],"topicsNotShown":0,"allTopics":["docker","sandbox","executor-service"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":5,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-08-14T13:30:50.105Z"}},{"type":"Public","name":"constraint-satisfication-programming","owner":"ProgramLeague","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-05-30T12:01:59.036Z"}},{"type":"Public","name":"ShapeBuilderLanguage","owner":"ProgramLeague","isFork":false,"description":"A DSL to draw graphics on a JFrame, which is built with JetBrains MPS","topicNames":["dsl","graphics","mps"],"topicsNotShown":0,"allTopics":["dsl","graphics","mps"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-04-21T17:39:14.550Z"}},{"type":"Public","name":"JetBrainsStuffs","owner":"ProgramLeague","isFork":false,"description":"some stuffs from JetBrains","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Batchfile","color":"#C1F12E"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-04-08T07:15:39.792Z"}},{"type":"Public","name":"Sello","owner":"ProgramLeague","isFork":false,"description":"JVM GUI Music Player","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Kotlin","color":"#A97BFF"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-04-03T11:17:05.873Z"}},{"type":"Public","name":"strictfp-front-end-mae","owner":"ProgramLeague","isFork":false,"description":"前端（灯里面版）","topicNames":["front-end","frontend","frontend-web"],"topicsNotShown":0,"allTopics":["front-end","frontend","frontend-web"],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-03-07T14:01:50.968Z"}},{"type":"Public","name":"strictfp-front-end","owner":"ProgramLeague","isFork":false,"description":"前端分支","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":"2017-02-01T06:46:37.173Z"}},{"type":"Public","name":"strictfp-back-end","owner":"ProgramLeague","isFork":false,"description":"The back end for StrictFP website.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-01-27T05:39:40.686Z"}},{"type":"Public","name":"axel","owner":"ProgramLeague","isFork":true,"description":"light command line download accelerator","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":258,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-01-16T17:52:54.941Z"}},{"type":"Public","name":"OJ-Spider-Scala","owner":"ProgramLeague","isFork":false,"description":"A spider only for OJ problems.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-12-18T03:34:44.540Z"}},{"type":"Public","name":"PLASTIC_RPG","owner":"ProgramLeague","isFork":false,"description":"一个以PLASTIC成员为游戏角色的RPG游戏:joy:","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Kotlin","color":"#A97BFF"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-07-22T11:05:09.109Z"}},{"type":"Public","name":"Poet","owner":"ProgramLeague","isFork":false,"description":"a automatic writing program","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-07-21T09:34:16.585Z"}},{"type":"Public","name":"FreeICTCLAS","owner":"ProgramLeague","isFork":false,"description":"Free version of ICTCLAS","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":1,"starsCount":3,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-07-20T14:22:04.293Z"}},{"type":"Public","name":"free-programming-book","owner":"ProgramLeague","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-07-20T08:53:54.535Z"}},{"type":"Public","name":"AiQi","owner":"ProgramLeague","isFork":false,"description":"ChatBot that can extracting statement memory and propositional logic inference formly in Chinese","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-07-05T13:37:02.134Z"}},{"type":"Public","name":"AI-L-jelly","owner":"ProgramLeague","isFork":true,"description":"新坑 聊天机器人凉果冻 0v0","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-07-02T13:34:02.263Z"}},{"type":"Public","name":"SpaceNet","owner":"ProgramLeague","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-07-01T02:01:38.179Z"}},{"type":"Public","name":"j-bob","owner":"ProgramLeague","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Scheme","color":"#1e4aec"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":61,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-05-22T18:11:49.511Z"}}],"repositoryCount":51,"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"}