{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"bibs","owner":"KWARC","isFork":false,"description":"The joint bibliographies of the KWARC group. Automatically built by travis. ","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":2,"starsCount":5,"forksCount":2,"license":"Creative Commons Zero v1.0 Universal","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-10T07:27:32.790Z"}},{"type":"Public","name":"rust-libxml","owner":"KWARC","isFork":false,"description":"Rust wrapper for libxml2","allTopics":["xml","ffi-wrapper","rust-wrapper","libxml2"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":3,"issueCount":18,"starsCount":73,"forksCount":38,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-11T11:04:08.851Z"}},{"type":"Public archive","name":"llamapun","owner":"KWARC","isFork":false,"description":"common language and mathematics processing algorithms, in Rust","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":1,"starsCount":25,"forksCount":6,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-25T10:37:49.503Z"}},{"type":"Public","name":"kalah-game","owner":"KWARC","isFork":false,"description":"Kalah Game Protocol - Specification &amp; Implementation","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":8,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-12T19:12:51.898Z"}},{"type":"Public","name":"GLIF","owner":"KWARC","isFork":false,"description":"The Grammatical Logical Inference Framework","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":1,"starsCount":8,"forksCount":1,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-21T12:44:10.743Z"}},{"type":"Public","name":"gf_kernel","owner":"KWARC","isFork":false,"description":"A Jupyter Kernel for GF","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":3,"starsCount":6,"forksCount":2,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-01T19:34:38.306Z"}},{"type":"Public","name":"LaTeX-proposal","owner":"KWARC","isFork":false,"description":"The Proposal package for LaTeX","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":24,"starsCount":65,"forksCount":34,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-21T10:38:44.518Z"}},{"type":"Public","name":"ar5iv-redirect","owner":"KWARC","isFork":true,"description":"Sometimes we need a signpost to point the way to the future","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-21T12:27:14.712Z"}},{"type":"Public","name":"rust-libxslt","owner":"KWARC","isFork":false,"description":"Rust wrapper for libxslt","allTopics":["xml","xslt","ffi-wrapper","rust-wrapper","libxslt"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":11,"forksCount":4,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-15T15:31:46.857Z"}},{"type":"Public","name":"ar5iv","owner":"KWARC","isFork":true,"description":"A web service offering HTML5 articles from arXiv.org as converted with latexml","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":20,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-02T13:13:37.211Z"}},{"type":"Public","name":"jekyll-website-deployer","owner":"KWARC","isFork":false,"description":"Docker image for deploying jekyll websites via rsync and ssh.","allTopics":[],"primaryLanguage":{"name":"Dockerfile","color":"#384d54"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Creative Commons Zero v1.0 Universal","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-07T13:56:29.381Z"}},{"type":"Public","name":"static-website-deployer","owner":"KWARC","isFork":false,"description":"Docker image for deploying static websites via rsync and ssh.","allTopics":[],"primaryLanguage":{"name":"Dockerfile","color":"#384d54"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Creative Commons Zero v1.0 Universal","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-07T13:53:42.361Z"}},{"type":"Public","name":"faulumpus","owner":"KWARC","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-07-27T16:49:42.310Z"}},{"type":"Public","name":"MOI","owner":"KWARC","isFork":false,"description":"Math Object Identifier Database","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":2,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-06-10T19:21:44.182Z"}},{"type":"Public archive","name":"cla-assistant","owner":"KWARC","isFork":false,"description":"An auto-built mirror of <a href=\"https://github.com/cla-assistant/cla-assistant\">https://github.com/cla-assistant/cla-assistant</a> with minor fixes","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":8,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-10T11:23:32.097Z"}},{"type":"Public","name":"docker-gen","owner":"KWARC","isFork":true,"description":"Generate files from docker container meta-data","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":603,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-04T11:05:05.140Z"}},{"type":"Public","name":"nginx-proxy","owner":"KWARC","isFork":true,"description":"Automated nginx proxy for Docker containers using docker-gen. Available as `kwarc/nginx-proxy` on DockerHub. Rebuilt nightly at 6:00 am. ","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":3017,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-01T13:55:30.202Z"}},{"type":"Public","name":"FoMID","owner":"KWARC","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":21,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-02-26T06:51:11.337Z"}},{"type":"Public","name":"Kalah-Framework","owner":"KWARC","isFork":false,"description":"Kalah framework for the AI course at FAU WS16/17","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":2,"starsCount":2,"forksCount":12,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-12-19T21:21:16.629Z"}},{"type":"Public","name":"water","owner":"KWARC","isFork":false,"description":"WORK IN PROGRESS WissKI Automation Tool &amp; Execution Robot","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-11-26T09:47:21.076Z"}},{"type":"Public","name":"wisski-devel","owner":"KWARC","isFork":false,"description":"A docker-compose file for WissKI development","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-11-19T03:27:11.234Z"}},{"type":"Public","name":"docs.kwarc.info","owner":"KWARC","isFork":false,"description":"<a href=\"https://docs.kwarc.info/\" rel=\"nofollow\">https://docs.kwarc.info/</a>","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-31T11:10:02.029Z"}},{"type":"Public archive","name":"WissKI-Distillery","owner":"KWARC","isFork":false,"description":"Moved to <a href=\"https://gitlab.cs.fau.de/AGFD/wisski-distillery\" rel=\"nofollow\">https://gitlab.cs.fau.de/AGFD/wisski-distillery</a>","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-06-16T09:38:11.954Z"}},{"type":"Public","name":"py-openmath","owner":"KWARC","isFork":true,"description":"An OpenMath 2.0 implementation in Python","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":4,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-05-22T11:34:58.346Z"}},{"type":"Public","name":"smallgrp-to-csv","owner":"KWARC","isFork":true,"description":"GAP code to read groups from SmallGrp, calculate some information, and export it to a CSV file","allTopics":[],"primaryLanguage":{"name":"GAP","color":"#0000cc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-10-29T09:47:39.986Z"}},{"type":"Public","name":"openmathmap","owner":"KWARC","isFork":false,"description":"Home directory of the OpenMathMap project, a recognizable, interactive map of mathematical areas from the MSC an Zentralblatt Publication Data","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-09-09T07:41:55.282Z"}},{"type":"Public archive","name":"docker-sbt-builder","owner":"KWARC","isFork":false,"description":"A Docker Image used to build anything with sbt. Depreacted in favor of mozilla/sbt. ","allTopics":[],"primaryLanguage":{"name":"Dockerfile","color":"#384d54"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"The Unlicense","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-09-03T08:29:23.315Z"}},{"type":"Public","name":"clatest","owner":"KWARC","isFork":false,"description":"Repository to test clabot on","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-05-23T11:34:38.270Z"}},{"type":"Public","name":"coq-xml-script","owner":"KWARC","isFork":false,"description":"Script to run coq xml export","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-03-15T18:06:54.470Z"}},{"type":"Public","name":"jupyter-upload-handler","owner":"KWARC","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-03-07T22:26:28.250Z"}}],"repositoryCount":50,"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":"KWARC repositories"}