{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"UPL","owner":"UniFormal","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-11T22:43:54.959Z"}},{"type":"Public","name":"MMT","owner":"UniFormal","isFork":false,"description":"The MMT Language and System","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":7,"issueCount":154,"starsCount":68,"forksCount":23,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-24T17:08:38.158Z"}},{"type":"Public","name":"uniformal.github.io","owner":"UniFormal","isFork":false,"description":"Main website for MMT and related material","allTopics":[],"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":6,"issueCount":0,"starsCount":6,"forksCount":13,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-16T16:58:40.549Z"}},{"type":"Public","name":"VSCode-MMT","owner":"UniFormal","isFork":false,"description":"MMT plugin for Visual Studio Code","allTopics":["visual-studio-code","formalization","vscode"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":2,"starsCount":3,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-10T15:02:55.952Z"}},{"type":"Public","name":"MathDb","owner":"UniFormal","isFork":false,"description":"a universal mathematical database","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-21T12:33:00.680Z"}},{"type":"Public","name":"SageMath","owner":"UniFormal","isFork":false,"description":"MMT-related code that depends on the SageMath system","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-21T12:29:40.977Z"}},{"type":"Public","name":"alignments","owner":"UniFormal","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-05T22:25:40.959Z"}},{"type":"Public","name":"TGView","owner":"UniFormal","isFork":false,"description":"GraphViewer for TheoryGraphs","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":14,"issueCount":20,"starsCount":4,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-13T15:47:08.104Z"}},{"type":"Public","name":"IntelliJ-MMT","owner":"UniFormal","isFork":false,"description":"An IntelliJ-Plugin for MMT (under development)","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":14,"starsCount":3,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-25T08:53:02.448Z"}},{"type":"Public","name":"TGView3D","owner":"UniFormal","isFork":false,"description":"A 3D Theory Graph Viewer for MMT.","allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":9,"starsCount":6,"forksCount":4,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-12-14T22:12:25.281Z"}},{"type":"Public","name":"apidoc","owner":"UniFormal","isFork":false,"description":"Auto-generated API documentation for MMT. All changes will be overwritten on the next commit. ","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-11-06T12:36:24.519Z"}},{"type":"Public","name":"tgview3d.mathhub.info","owner":"UniFormal","isFork":false,"description":"TGView 3d Website","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-03-29T22:39:11.112Z"}},{"type":"Public","name":"ESSLLI2019","owner":"UniFormal","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-08-06T11:06:31.918Z"}},{"type":"Public","name":"mmt_jupyter_kernel","owner":"UniFormal","isFork":false,"description":"A Jupyter kernel for MMT","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":4,"starsCount":3,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-03-11T13:06:30.097Z"}},{"type":"Public","name":"implicit","owner":"UniFormal","isFork":false,"description":"paper on implicit morphisms","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-02-25T10:12:46.962Z"}},{"type":"Public","name":"physics","owner":"UniFormal","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-12-10T22:27:04.077Z"}},{"type":"Public","name":"mm-scala","owner":"UniFormal","isFork":true,"description":"A fork of metamath verifier in Scala, so that it compiles under newer scala versions","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"The Unlicense","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-03-23T09:54:47.851Z"}},{"type":"Public","name":"Proofs","owner":"UniFormal","isFork":false,"description":"Designing a proof representation/interchange format as inspired by the Dagstuhl seminar on Universality of Proofs (2016)","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-03-20T13:16:31.634Z"}},{"type":"Public","name":"GFScala","owner":"UniFormal","isFork":false,"description":"Scala wrappers and MMT-compatible interfaces for GF datastructures, based on their java bindings","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-12-14T10:31:56.455Z"}},{"type":"Public","name":"MMTPy","owner":"UniFormal","isFork":false,"description":"Python API for MMT. Work in progress. ","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-10-08T06:53:07.371Z"}}],"repositoryCount":20,"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":"UniFormal repositories"}