Repositories list

• MASPY

  Public
  A Python Framework for Multi-Agent Programming with Machine Learning

  Python

  •

  MIT License

  •55 forks in laca-is/MASPY•2626 stars in laca-is/MASPY•2525 issues in laca-is/MASPY•11 pull request in laca-is/MASPY•Updated Oct 16, 2026Oct 16, 2026

• MASPY-GUI

  Public
  Interface for the Visual Representation and Debugging of the MASPY Framework

  Python

  •00 forks in laca-is/MASPY-GUI•22 stars in laca-is/MASPY-GUI•00 issues in laca-is/MASPY-GUI•00 pull requests in laca-is/MASPY-GUI•Updated May 13, 2026May 13, 2026

• clag

  Public
  Controlled Natural Language for Agents

  Python

  •

  Other

  •00 forks in laca-is/clag•11 star in laca-is/clag•00 issues in laca-is/clag•00 pull requests in laca-is/clag•Updated May 5, 2026May 5, 2026

• smartParking-velluscinum

  Public
  Multi-Agent System built in a Smart Parking environment with negotiations involving Blockchain

  00 forks in laca-is/smartParking-velluscinum•00 stars in laca-is/smartParking-velluscinum•00 issues in laca-is/smartParking-velluscinum•00 pull requests in laca-is/smartParking-velluscinum•Updated Feb 14, 2025Feb 14, 2025

• laca-is.github.io

  Public
  Intelligent Systems division of LaCA lab.

  00 forks in laca-is/laca-is.github.io•11 star in laca-is/laca-is.github.io•00 issues in laca-is/laca-is.github.io•00 pull requests in laca-is/laca-is.github.io•Updated Sep 15, 2024Sep 15, 2024

• uppaal

  Public
  Este repositório apresenta a utilização de Model Checking na Verificação Formal de Sistemas Autônomos

  q

  •

  GNU General Public License v3.0

  •00 forks in laca-is/uppaal•00 stars in laca-is/uppaal•00 issues in laca-is/uppaal•00 pull requests in laca-is/uppaal•Updated Oct 11, 2023Oct 11, 2023

• Prevh

  Public
  This package implements the Prevh classification algorithm.

  data-scienceclassification-algorithmdatamining-algorithms

  data-scienceclassification-algorithmdatamining-algorithms

  Python

  •

  GNU General Public License v3.0

  •00 forks in laca-is/Prevh•00 stars in laca-is/Prevh•00 issues in laca-is/Prevh•00 pull requests in laca-is/Prevh•Updated Mar 26, 2022Mar 26, 2022

• MAPS

  Public
  Multi-Agent Parking System

  Java

  •00 forks in laca-is/MAPS•11 star in laca-is/MAPS•00 issues in laca-is/MAPS•33 pull requests in laca-is/MAPS•Updated Jan 27, 2022Jan 27, 2022

• SAE-RoR

  Public
  Simulated Automotive Environment for the Rules Of the Road - (SAE-RoR)

  Java

  •

  GNU General Public License v3.0

  •00 forks in laca-is/SAE-RoR•00 stars in laca-is/SAE-RoR•00 issues in laca-is/SAE-RoR•00 pull requests in laca-is/SAE-RoR•Updated Jul 21, 2021Jul 21, 2021

• smart-parking-api

  Public
  Serveless appsync API with DynamoDB to manage a Smart Parking.

  JavaScript

  •

  GNU General Public License v3.0

  •11 fork in laca-is/smart-parking-api•22 stars in laca-is/smart-parking-api•00 issues in laca-is/smart-parking-api•00 pull requests in laca-is/smart-parking-api•Updated Sep 8, 2020Sep 8, 2020

• SAE-RoadJunction

  Public
  Java

  •

  GNU General Public License v3.0

  •00 forks in laca-is/SAE-RoadJunction•00 stars in laca-is/SAE-RoadJunction•00 issues in laca-is/SAE-RoadJunction•00 pull requests in laca-is/SAE-RoadJunction•Updated Jun 29, 2020Jun 29, 2020

• SAE

  Public
  The Simulated Automative Environment (SAE) comprises both, implementation and formal verification of intelligent agents using the MCAPL framework.

  Java

  •11 fork in laca-is/SAE•00 stars in laca-is/SAE•00 issues in laca-is/SAE•00 pull requests in laca-is/SAE•Updated Aug 13, 2018Aug 13, 2018