{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"McLTT","owner":"Beluga-lang","isFork":false,"description":"A bottom-up approach to a verified implementation of MLTT","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":2,"issueCount":4,"starsCount":5,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-23T05:00:07.476Z"}},{"type":"Public","name":"Beluga","owner":"Beluga-lang","isFork":false,"description":"Contextual types meet mechanized metatheory!","topicNames":["dependent-types","ocaml","lf","hoas","beluga"],"topicsNotShown":0,"allTopics":["dependent-types","ocaml","lf","hoas","beluga"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":66,"starsCount":180,"forksCount":16,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-08T02:48:08.067Z"}},{"type":"Public","name":"Meta","owner":"Beluga-lang","isFork":false,"description":"Mechanizing Types and Programming Languages using Beluga","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":2,"starsCount":17,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-05-29T18:47:50.915Z"}},{"type":"Public","name":"opam-repository","owner":"Beluga-lang","isFork":true,"description":"Main public package repository for OPAM, the source package manager of OCaml.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1086,"license":"Creative Commons Zero v1.0 Universal","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-07-27T03:21:02.162Z"}}],"repositoryCount":4,"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"}