{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"laca-is.github.io","owner":"laca-is","isFork":false,"description":"Intelligent Systems division of LaCA lab.","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-15T16:55:54.886Z"}},{"type":"Public","name":"clag","owner":"laca-is","isFork":false,"description":"Controlled Natural Language for Agents","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-12T19:06:07.530Z"}},{"type":"Public","name":"MASPY","owner":"laca-is","isFork":false,"description":"A Python Framework for Multi-Agent Programming with Machine Learning","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-09T20:29:53.770Z"}},{"type":"Public","name":"uppaal","owner":"laca-is","isFork":false,"description":"Este repositório apresenta a utilização de Model Checking na Verificação Formal de Sistemas Autônomos","allTopics":[],"primaryLanguage":{"name":"q","color":"#0040cd"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-11T04:45:25.850Z"}},{"type":"Public","name":"Prevh","owner":"laca-is","isFork":false,"description":"This package implements the Prevh classification algorithm.","allTopics":["data-science","classification-algorithm","datamining-algorithms"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-26T21:10:09.009Z"}},{"type":"Public","name":"MAPS","owner":"laca-is","isFork":false,"description":"Multi-Agent Parking System","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":3,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-01-27T16:20:30.014Z"}},{"type":"Public","name":"SAE-RoR","owner":"laca-is","isFork":false,"description":"Simulated Automotive Environment for the Rules Of the Road - (SAE-RoR)","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":"2021-07-21T21:25:11.324Z"}},{"type":"Public","name":"smart-parking-api","owner":"laca-is","isFork":false,"description":"Serveless appsync API with DynamoDB to manage a Smart Parking.","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"GNU General Public License v3.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-09-08T11:38:52.319Z"}},{"type":"Public","name":"SAE-RoadJunction","owner":"laca-is","isFork":false,"description":"","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":"2020-06-29T17:50:07.683Z"}},{"type":"Public","name":"SAE","owner":"laca-is","isFork":false,"description":"The Simulated Automative Environment (SAE) comprises both, implementation and formal verification of intelligent agents using the MCAPL framework.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-08-13T11:45:53.316Z"}}],"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":"laca-is repositories"}