{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"cbs-ide","owner":"plancomps","isFork":false,"description":"A prototype IDE for the CBS language specification framework","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-31T10:22:06.391Z"}},{"type":"Public","name":"plancomps.github.io","owner":"plancomps","isFork":false,"description":"PLanCompS: Programming Language Components and Specifications","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-25T18:54:36.219Z"}},{"type":"Public","name":"funcons-tools","owner":"plancomps","isFork":false,"description":"A modular interpreter for executing funcons (Haskell)","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-17T09:36:44.285Z"}},{"type":"Public","name":"funcons-intgen","owner":"plancomps","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-17T09:22:13.125Z"}},{"type":"Public","name":"CBS-beta","owner":"plancomps","isFork":false,"description":"Component-based specification of programming languages","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":0,"issueCount":2,"starsCount":5,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-17T08:58:06.580Z"}},{"type":"Public","name":"cbs-latex","owner":"plancomps","isFork":false,"description":"LaTeX, KaTeX, and MathJax for CBS specification formatting","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-27T11:54:33.808Z"}},{"type":"Public","name":"funcons-values","owner":"plancomps","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-06-26T12:38:50.174Z"}},{"type":"Public","name":"cbs-dev","owner":"plancomps","isFork":false,"description":"Development and test repository for CBS","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-10T08:06:48.149Z"}},{"type":"Public","name":"funcons-online-repl","owner":"plancomps","isFork":false,"description":"Front-end and web-server to interact with the funcons REPL","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-08T23:01:27.192Z"}}],"repositoryCount":9,"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":"mirror","text":"Mirrors"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}