{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"pikelet","owner":"pikelet-lang","isFork":false,"description":"A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧","allTopics":["programming-language","rust","typechecker","dependent-types","compiler","type-theory","type-system","systems-programming","bidirectional-typechecking","dependent-record-types","dependent-records","systems-language"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":31,"starsCount":608,"forksCount":25,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-16T05:04:56.156Z"}}],"repositoryCount":1,"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"}