{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"harmony","owner":"harmonylang","isFork":false,"description":"A Python-like programming language for testing and experimenting with concurrent programs.","allTopics":["language","harmony","model-checking"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":2,"issueCount":3,"starsCount":14,"forksCount":5,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-08T18:09:41.889Z"}},{"type":"Public","name":"harmonylang","owner":"harmonylang","isFork":false,"description":"HarmonyLang provides general VS compatibility with RvR's Harmony, a Python-like programming language for testing and experimenting with concurrent programs.","allTopics":[],"primaryLanguage":{"name":"ReScript","color":"#ed5051"},"pullRequestCount":0,"issueCount":2,"starsCount":5,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-01T05:46:38.391Z"}},{"type":"Public","name":"harmonylang.github.io","owner":"harmonylang","isFork":false,"description":"The website for Harmony, a concurrent programming language.","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-29T19:21:33.449Z"}},{"type":"Public","name":"melody-visualizer","owner":"harmonylang","isFork":false,"description":"Harmony Analysis Visualization Suite","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-21T18:09:48.789Z"}},{"type":"Public","name":"harmony-gui","owner":"harmonylang","isFork":false,"description":"Harmony-GUI is a graphical, interactive debugger for the Harmony programming language. It allows users to better discover and diagnoze concurrency bugs in Harmony programs.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-27T17:45:42.720Z"}},{"type":"Public archive","name":"harmonylang-lite","owner":"harmonylang","isFork":false,"description":"HarmonyLang for VSCode Web, designed and built to run on GitHub.dev","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-25T04:29:49.575Z"}},{"type":"Public","name":"harmony-uikit","owner":"harmonylang","isFork":false,"description":"The toolkit for building the interactive process-UI, e.g. parsing charm.json content","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-25T01:52:58.529Z"}},{"type":"Public archive","name":"harmony-docker","owner":"harmonylang","isFork":false,"description":"Run Harmony in a containerized environment via Docker","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-21T16:10:59.620Z"}},{"type":"Public archive","name":"harmonylang-server","owner":"harmonylang","isFork":false,"description":"A server that can parse and model check Harmony files.","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-20T01:16:46.630Z"}},{"type":"Public archive","name":"harmony-ide","owner":"harmonylang","isFork":false,"description":"An online IDE for Harmony, a concurrent programming language","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-26T02:54:26.780Z"}}],"repositoryCount":10,"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":"harmonylang repositories"}