{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"anders","owner":"groupoid","isFork":false,"description":"🧊 Модальний гомотопічний верифікатор математики","allTopics":["dependent-types","proof-assistant","cubical-type-theory","type-system","theorem-prover","type-checker","mltt"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":18,"forksCount":3,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-05T22:09:41.789Z"}},{"type":"Public","name":"per.rs","owner":"groupoid","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-31T19:56:38.939Z"}},{"type":"Public","name":"per.ex","owner":"groupoid","isFork":false,"description":"🧊 Числення індуктивних конструкцій","allTopics":[],"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-31T10:23:20.428Z"}},{"type":"Public","name":"henk.rs","owner":"groupoid","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-30T21:53:57.069Z"}},{"type":"Public","name":"henk.ex","owner":"groupoid","isFork":false,"description":"🧊 Чиста система з всесвітами","allTopics":["erlang","pure","termination","pts","lambda-cube"],"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":144,"forksCount":16,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-27T05:23:40.198Z"}},{"type":"Public","name":"joe","owner":"groupoid","isFork":false,"description":"🧊 Компілятор ML і віртуальна машина","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-10T21:33:31.240Z"}},{"type":"Public","name":"monography","owner":"groupoid","isFork":false,"description":"🧊 Перша формальна система","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":92,"forksCount":13,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-10T21:17:35.521Z"}},{"type":"Public","name":".github","owner":"groupoid","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-03T17:10:45.903Z"}},{"type":"Public","name":"groupoid.space","owner":"groupoid","isFork":false,"description":"🧊 Інститут формальної математики","allTopics":["path","pi","hit","induction","sigma","mltt"],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":35,"forksCount":13,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-31T13:07:34.553Z"}},{"type":"Public","name":"alonzo","owner":"groupoid","isFork":false,"description":"🧊 Типізоване ‏-ג‏‎числення","allTopics":["lambda-calculus","church","stlc"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":15,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-20T09:09:43.872Z"}},{"type":"Public","name":"languages","owner":"groupoid","isFork":false,"description":"🧊 Енциклопедія мов програмування","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-16T10:46:18.885Z"}},{"type":"Public","name":"cafe","owner":"groupoid","isFork":false,"description":"🧊 Презентації та воркшопи","allTopics":["video","slides","mathematics","cafe"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":21,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-02T22:54:58.854Z"}}],"repositoryCount":12,"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":"groupoid repositories"}