{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"coqdoc-template","owner":"jscoq","isFork":false,"description":"Basic coqdoc template for jsCoq","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":0,"license":"The Unlicense","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0,2,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,3,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T15:34:25.266Z"}},{"type":"Public","name":"jscoq","owner":"jscoq","isFork":false,"description":"A port of Coq to Javascript -- Run Coq in your Browser","allTopics":["javascript","integrated-development-environment","proof-assistant","coq"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":7,"issueCount":66,"starsCount":503,"forksCount":42,"license":"Other","participation":[3,6,0,2,5,2,9,9,12,5,2,0,0,0,0,0,4,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":"2023-11-13T13:51:01.764Z"}},{"type":"Public","name":"addons","owner":"jscoq","isFork":false,"description":"A workspace for jsCoq addons","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"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":"2023-10-14T10:09:25.125Z"}},{"type":"Public","name":"addon-unimath","owner":"jscoq","isFork":false,"description":"UniMath addon for jsCoq","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"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":"2023-10-01T12:56:49.305Z"}},{"type":"Public","name":"addon-software-foundations","owner":"jscoq","isFork":false,"description":"Software Foundations book libraries addon for jsCoq","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":0,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,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":"2023-10-01T09:41:22.688Z"}},{"type":"Public","name":"jscoq.github.io","owner":"jscoq","isFork":false,"description":"jsCoq Public Website","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":3,"issueCount":0,"starsCount":4,"forksCount":1,"license":null,"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":"2023-08-08T21:28:55.035Z"}},{"type":"Public","name":"addon-htt","owner":"jscoq","isFork":false,"description":"Hoare Type Theory addon for jsCoq","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-02T13:33:32.625Z"}},{"type":"Public","name":"addon-fcsl-pcm","owner":"jscoq","isFork":false,"description":"Partial Commutative Monoids addon for jsCoq","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-02T13:32:49.422Z"}},{"type":"Public","name":"addon-hott","owner":"jscoq","isFork":false,"description":"Homotopy Type Theory for jsCoq","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-21T14:00:02.462Z"}},{"type":"Public","name":"addon-quickchick","owner":"jscoq","isFork":false,"description":"QuickChick addon for jsCoq","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"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":"2023-04-20T18:07:00.889Z"}},{"type":"Public","name":"addon-equations","owner":"jscoq","isFork":false,"description":"Coq-Equations addon for jsCoq","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-20T18:04:34.059Z"}},{"type":"Public","name":"addon-elpi","owner":"jscoq","isFork":false,"description":"Elpi addon plugin for jsCoq","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-20T17:55:26.799Z"}},{"type":"Public","name":"addon-mathcomp","owner":"jscoq","isFork":false,"description":"Mathematical Components addon for jsCoq","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-19T16:34:04.092Z"}},{"type":"Public","name":"wacoq-bin","owner":"jscoq","isFork":false,"description":"Coq WebAssembly interface","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":3,"issueCount":0,"starsCount":3,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-14T15:53:43.016Z"}},{"type":"Public","name":"addon-iris","owner":"jscoq","isFork":false,"description":"Iris addon for jsCoq","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-20T10:46:23.056Z"}},{"type":"Public","name":"addon-mathcomp-extra","owner":"jscoq","isFork":false,"description":"More Mathematical Components for jsCoq","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-20T09:41:35.372Z"}},{"type":"Public","name":"addon-hahn","owner":"jscoq","isFork":false,"description":"Hahn for jsCoq","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-20T09:30:56.086Z"}},{"type":"Public","name":"addon-promising","owner":"jscoq","isFork":false,"description":"Promising Coq addon for jsCoq","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-20T04:47:25.870Z"}},{"type":"Public","name":"addon-stdpp","owner":"jscoq","isFork":false,"description":"Coq-std++ addon","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-23T21:54:33.139Z"}},{"type":"Public","name":"addon-simpleio","owner":"jscoq","isFork":false,"description":"SimpleIO library addon for jsCoq","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-03T17:17:23.495Z"}},{"type":"Public","name":"addon-paco","owner":"jscoq","isFork":false,"description":"Paco addon for jsCoq","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-06T17:46:38.535Z"}},{"type":"Public","name":"addon-coqoban","owner":"jscoq","isFork":false,"description":"Coqoban - a fun interlude for jsCoq","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-01-08T15:52:27.804Z"}},{"type":"Public","name":"addon-pnp","owner":"jscoq","isFork":false,"description":"Proofs and Programs book addon for jsCoq","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-01-08T15:52:25.684Z"}},{"type":"Public","name":"addon-snu-sflib","owner":"jscoq","isFork":false,"description":"SNU's sflib addon for jsCoq","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-01-08T15:52:17.742Z"}},{"type":"Public","name":"addon-extlib","owner":"jscoq","isFork":false,"description":"ExtLib library addon for jsCoq","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-01-08T15:52:02.737Z"}}],"repositoryCount":25,"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"}