{"payload":{"pageCount":7,"repositories":[{"type":"Public","name":"langdev","owner":"cwi-swat","isFork":false,"description":"Repo for the LangDev meetup","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-07T18:24:06.898Z"}},{"type":"Public","name":"rascal-dsl-crashcourse","owner":"cwi-swat","isFork":true,"description":"Material for a Crash Course DSL implementation using Rascal","allTopics":[],"primaryLanguage":{"name":"Rascal","color":"#fffaa0"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":129,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-17T06:43:26.442Z"}},{"type":"Public","name":"ifip-wg216","owner":"cwi-swat","isFork":false,"description":"Webpage of IFIP TC2 Working group 2.16 on Language Design","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-12T20:10:02.258Z"}},{"type":"Public","name":"drambiguity","owner":"cwi-swat","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Rascal","color":"#fffaa0"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-26T15:12:27.360Z"}},{"type":"Public","name":"tla-ci","owner":"cwi-swat","isFork":false,"description":"TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (<a href=\"https://doi.org/10.1007/978-3-030-67220-1_4\" rel=\"nofollow\">https://doi.org/10.1007/978-3-030-67220-1_4</a>) Based on Crooks' Isolation (<a href=\"https://dl.acm.org/doi/10.1145/3087801.3087802\" rel=\"nofollow\">https://dl.acm.org/doi/10.1145/3087801.3087802</a>).","allTopics":["pluscal","tlaplus"],"primaryLanguage":{"name":"TLA","color":"#4b0079"},"pullRequestCount":0,"issueCount":1,"starsCount":20,"forksCount":2,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-26T12:09:45.761Z"}},{"type":"Public","name":"python-air","owner":"cwi-swat","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Rascal","color":"#fffaa0"},"pullRequestCount":0,"issueCount":5,"starsCount":1,"forksCount":0,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-17T20:57:46.560Z"}},{"type":"Public","name":"sle-rug","owner":"cwi-swat","isFork":false,"description":"SLE course at University of Groningen","allTopics":[],"primaryLanguage":{"name":"Rascal","color":"#fffaa0"},"pullRequestCount":1,"issueCount":0,"starsCount":9,"forksCount":129,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-23T13:24:02.442Z"}},{"type":"Public","name":"php-analysis","owner":"cwi-swat","isFork":false,"description":"PHP language analyses in Rascal","allTopics":[],"primaryLanguage":{"name":"Rascal","color":"#fffaa0"},"pullRequestCount":0,"issueCount":7,"starsCount":27,"forksCount":9,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-18T08:42:59.239Z"}},{"type":"Public","name":"rascal-git","owner":"cwi-swat","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-18T08:33:13.625Z"}},{"type":"Public","name":"yop-rascal-nl","owner":"cwi-swat","isFork":false,"description":"Make *y*our *o*wn *p*rogramming language with *rascal* (in Dutch)","allTopics":[],"primaryLanguage":{"name":"Rascal","color":"#fffaa0"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-03T10:59:34.947Z"}},{"type":"Public","name":"oogll","owner":"cwi-swat","isFork":false,"description":"Simple implementation of GLL","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-18T09:32:30.504Z"}},{"type":"Public","name":"kogi","owner":"cwi-swat","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":5,"starsCount":5,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-30T20:01:09.347Z"}},{"type":"Public","name":"js-air","owner":"cwi-swat","isFork":false,"description":"a library for javascript analysis in Rascal","allTopics":[],"primaryLanguage":{"name":"Rascal","color":"#fffaa0"},"pullRequestCount":0,"issueCount":2,"starsCount":0,"forksCount":0,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-04T08:20:13.928Z"}},{"type":"Public","name":"bacata","owner":"cwi-swat","isFork":false,"description":"Set of projects related to the Bacatá notebook infrastructure","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":2,"issueCount":5,"starsCount":5,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-14T22:27:43.836Z"}},{"type":"Public","name":"rascal-visual-studio","owner":"cwi-swat","isFork":false,"description":"A Microsoft Visual Studio extension (_not_ code) that bridges to Rascal for running code analyses and transformations","allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":2,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-05T12:37:31.137Z"}},{"type":"Public","name":"PHP-Parser","owner":"cwi-swat","isFork":true,"description":"A PHP parser written in PHP","allTopics":[],"primaryLanguage":{"name":"PHP","color":"#4F5D95"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":1078,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-11T21:40:55.391Z"}},{"type":"Public","name":"code-as-data-demo","owner":"cwi-swat","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Rascal","color":"#fffaa0"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-15T08:23:34.129Z"}},{"type":"Public template","name":"clair-using-project","owner":"cwi-swat","isFork":false,"description":"Example project that uses clair","allTopics":[],"primaryLanguage":{"name":"Rascal","color":"#fffaa0"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-28T08:24:09.953Z"}},{"type":"Public","name":"rascal-iguana","owner":"cwi-swat","isFork":false,"description":"Experimental bridges from Iguana to Rascal","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-27T15:27:21.614Z"}},{"type":"Public","name":"rascal-wax-on-wax-off","owner":"cwi-swat","isFork":false,"description":"Tutorial Rascal","allTopics":[],"primaryLanguage":{"name":"Rascal","color":"#fffaa0"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":32,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-17T11:04:22.687Z"}},{"type":"Public","name":"rascal-cheat-sheet","owner":"cwi-swat","isFork":false,"description":"Rascal cheat sheet ","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-17T08:32:51.357Z"}},{"type":"Public","name":"gradual-grammars","owner":"cwi-swat","isFork":false,"description":"Gradual Grammars ","allTopics":[],"primaryLanguage":{"name":"Rascal","color":"#fffaa0"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-14T08:10:58.507Z"}},{"type":"Public","name":"concrete-redex","owner":"cwi-swat","isFork":false,"description":"Redex with Concrete Syntax","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-20T16:14:45.049Z"}},{"type":"Public","name":"rascal-graph-dsl-demo","owner":"cwi-swat","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Rascal","color":"#fffaa0"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-27T13:32:58.579Z"}},{"type":"Public","name":"ada-air","owner":"cwi-swat","isFork":false,"description":"Experimental Rascal front-end for Ada","allTopics":[],"primaryLanguage":{"name":"Ada","color":"#02f88c"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-26T11:18:52.424Z"}},{"type":"Public","name":"bacata-core","owner":"cwi-swat","isFork":false,"description":"Native Jupyter kernel in Java","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-08T07:53:34.692Z"}},{"type":"Public","name":"rascal-demo-workspace","owner":"cwi-swat","isFork":false,"description":"example Rascal projects for the IPA Rascal course january 2018","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-07T13:18:24.428Z"}},{"type":"Public","name":"rascal-test","owner":"cwi-swat","isFork":false,"description":" Rascal test set","allTopics":[],"primaryLanguage":{"name":"Rascal","color":"#fffaa0"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-05T09:51:45.883Z"}},{"type":"Public","name":"sheet-literals","owner":"cwi-swat","isFork":false,"description":"Spreadsheets, right into your (Javascript) source code.","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-05T09:35:00.291Z"}},{"type":"Public","name":"recaf","owner":"cwi-swat","isFork":false,"description":"Recaffeinating Java ☕️ with custom semantics and extensions","allTopics":["metaprogramming","modularity","domain-specific-language","java","dialects"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":1,"issueCount":7,"starsCount":51,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-05T09:22:19.573Z"}}],"repositoryCount":187,"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"}