{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"Ibex","owner":"arcalab","isFork":false,"description":"Webpage of the project Ibex","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-31T22:27:46.207Z"}},{"type":"Public","name":"CAOS","owner":"arcalab","isFork":false,"description":"CAOS toolset - Scala libraries to support computer aided design of SOS using a web frontend.","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-25T13:57:14.085Z"}},{"type":"Public","name":"ic-2324","owner":"arcalab","isFork":false,"description":"Material for the course \"Interaction and Concurrency\", edition 2023-2024, taught at the University of Minho","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-13T20:12:08.314Z"}},{"type":"Public","name":"quantum-logic-2324","owner":"arcalab","isFork":false,"description":"Material for the course \"Quantum Logic\", edition 2023-2024, taught at the University of Minho","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-26T14:09:44.090Z"}},{"type":"Public","name":"lince","owner":"arcalab","isFork":false,"description":"Hybrid Programming - a Scala library to specify and analyse hybrid programs","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":3,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-25T21:47:30.436Z"}},{"type":"Public","name":"CyPhyComp2324","owner":"arcalab","isFork":false,"description":"MSc unit course on Cyber Physical Computation at the U.Minho, Portugal","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-13T11:42:48.010Z"}},{"type":"Public","name":"choreo","owner":"arcalab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-22T17:41:21.667Z"}},{"type":"Public","name":"b-pomset","owner":"arcalab","isFork":false,"description":"Host of the online tool to reason over branching pomsets, as published in ICE 2022.","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-08T13:59:49.318Z"}},{"type":"Public","name":"team-a","owner":"arcalab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-23T09:30:48.674Z"}},{"type":"Public","name":"quantum-computation-2324","owner":"arcalab","isFork":false,"description":"Material for the course \"Quantum Computation\", edition 2023-2024, taught at the University of Minho","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-31T22:25:22.425Z"}},{"type":"Public","name":"qit1718-mi","owner":"arcalab","isFork":false,"description":"Matemática para a Informática - Qualifica IT","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-08T14:27:08.453Z"}},{"type":"Public","name":"ccs-caos","owner":"arcalab","isFork":false,"description":"CCS simulator using Caos","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-15T16:51:53.394Z"}},{"type":"Public","name":"caos.g8","owner":"arcalab","isFork":false,"description":"Giter8 template to help bootstrapping the creation of a project that uses Caos.","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-03T08:48:16.861Z"}},{"type":"Public","name":"ceta","owner":"arcalab","isFork":false,"description":"Snapshot of Choreographic Extended Team Automata analysis","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-17T10:40:38.697Z"}},{"type":"Public","name":"lambda-caos","owner":"arcalab","isFork":false,"description":"Illustrative example of the usage of CAOS with a simple lambda-calculus reduction semantics","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-11T19:51:49.302Z"}},{"type":"Public","name":"CyPhyComp2223","owner":"arcalab","isFork":false,"description":"MSc unit course on Cyber Physical Computation at the U.Minho, Portugal","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-02T12:43:02.272Z"}},{"type":"Public","name":"tecnicas-algoritmicas-computabilidade-2223","owner":"arcalab","isFork":false,"description":"Materia da UC Técnicas Algorítmicas e Computabilidade 2022-2023 da Universidade do Minho","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-15T14:38:45.578Z"}},{"type":"Public","name":"arcalab.github.io","owner":"arcalab","isFork":false,"description":"Website for ARCA - a research team from HASLab, Dep. Informatics, University of Minho, Portugal.","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-03T16:58:59.869Z"}},{"type":"Public","name":"quantum-computation-2223","owner":"arcalab","isFork":false,"description":"Material for the course \"Quantum Computing\", edition 2022-2023, taught at the University of Minho","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-26T12:46:55.042Z"}},{"type":"Public","name":"b-pomset-playground","owner":"arcalab","isFork":false,"description":"Experiments with branching-pomsets","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-20T23:12:43.047Z"}},{"type":"Public","name":"arx","owner":"arcalab","isFork":false,"description":"ARx, a reactive programming language for synchronous connectors","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-15T09:59:01.886Z"}},{"type":"Public","name":"st4mp","owner":"arcalab","isFork":false,"description":"Generated tools to analyse scribble via Choreo","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:21:46.815Z"}},{"type":"Public","name":"pompset","owner":"arcalab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-08T00:20:20.798Z"}},{"type":"Public","name":"marx","owner":"arcalab","isFork":false,"description":"Marx, a reactive programming language for synchronous connectors based on ARx","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-31T09:22:32.810Z"}},{"type":"Public","name":"hubAutomata","owner":"arcalab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-07-29T10:10:36.139Z"}},{"type":"Public","name":"caos-choreo.g8","owner":"arcalab","isFork":false,"description":"A Giter8 template for a new CAOS project","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-06-02T11:03:46.547Z"}},{"type":"Public","name":"quantumsoftwareengineering","owner":"arcalab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-11-05T17:37:13.608Z"}},{"type":"Public","name":"quantamorphisms","owner":"arcalab","isFork":false,"description":"Tools and scripts used in the context of the MSc project \"Towards Quantum Program Calculation\"","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-11-05T19:34:17.977Z"}},{"type":"Public","name":"quantum-computing-1819","owner":"arcalab","isFork":false,"description":"Material for the MAPi course \"Quantum Computing\", taught at the University of Minho.","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-12-19T21:43:11.544Z"}},{"type":"Public","name":"quantum-logic-1718","owner":"arcalab","isFork":false,"description":"Quantum logics course","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-09-28T11:30:54.892Z"}}],"repositoryCount":33,"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":"arcalab repositories"}