{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"CARE","owner":"contractautomataproject","isFork":false,"description":"A runtime environment for implementing applications specified via Contract Automata","allTopics":["automata","contracts","model-based-development","java"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":2,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-25T13:27:37.103Z"}},{"type":"Public","name":"ContractAutomataLib","owner":"contractautomataproject","isFork":false,"description":"The Contract Automata Library implements Contract Automata and their operations (e.g., composition, synthesis). This is the main repository of the Contract Automata Toolkit.","allTopics":["automata","composition","orchestration","contract","synthesis","choreography","supervisory-control"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":4,"starsCount":7,"forksCount":2,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-06T15:12:24.103Z"}},{"type":"Public","name":"jlampIce2023experiments","owner":"contractautomataproject","isFork":false,"description":"Experiments for the special issue in JLAMP of ICE 2023","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-12T11:40:12.964Z"}},{"type":"Public","name":"InteractiveSimulator","owner":"contractautomataproject","isFork":false,"description":"A command line console simulator for executing a contract automaton and exploring the state space.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-22T16:44:11.421Z"}},{"type":"Public","name":"CATLib_PngConverter","owner":"contractautomataproject","isFork":false,"description":"Example of usage of CATLib for solving multi-agent spatial problems using VoxLogica","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-26T15:40:10.790Z"}},{"type":"Public","name":"CARE_Examples","owner":"contractautomataproject","isFork":false,"description":"Examples and evaluation of the Runtime Environment of Contract Automata","allTopics":["automata","runtime","contract"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-08T19:52:23.415Z"}},{"type":"Public","name":"ContractAutomataApp","owner":"contractautomataproject","isFork":false,"description":"This is a GUI application of the Contract Automata Toolkit, exploiting the contract automata library to put contract automata at work","allTopics":["contract","contractautomata","automata","gui"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":6,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-17T16:47:58.876Z"}},{"type":"Public","name":"tictactoe","owner":"contractautomataproject","isFork":false,"description":"Example of usage of CATLib for modelling and implementating the tic-tac-toe game","allTopics":["automata","tic-tac-toe","contract","synthesis"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-29T14:14:23.064Z"}},{"type":"Public","name":".github","owner":"contractautomataproject","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-27T13:11:19.542Z"}}],"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":"template","text":"Templates"}],"compactMode":false},"title":"contractautomataproject repositories"}