Skip to content

@DeMaCS-UNICAL Department of Mathematics and Computer Science

Change the repository type filter

All

    Repositories list

    67 repositories

    • LoIDE

      Public
      Web-based IDE for Logic Programming
      editorweb-appide
      editorweb-appideweb-applicationeditingweb-editorlogic-programmingweb-based-idelogic-formalismslogic-based-languages
      MIT License
      •5•25•0•0•Updated Mar 14, 2026Mar 14, 2026

    • LoIDE-PWA

      Public
      TypeScript
      •
      MIT License
      •2•3•7•7•Updated Mar 14, 2026Mar 14, 2026

    • BrainyBot

      Public
      Repository for Automated Tapping Robot applications
      Python
      •
      Apache License 2.0
      •2•7•0•1•Updated Mar 7, 2026Mar 7, 2026

    • LoIDE-API-Server

      Public
      JavaScript
      •
      MIT License
      •1•1•0•0•Updated Mar 6, 2026Mar 6, 2026

    • NetworkSecurity

      Public
      Materiale esercitazioni Network and Security
      Python
      •
      GNU General Public License v3.0
      •3•5•0•0•Updated Mar 1, 2026Mar 1, 2026

    • ThinkEngine

      Public
      A Unity asset for a tight integration of AI in games: asset, showcase, web page.
      C#
      •2•19•1•1•Updated Feb 24, 2026Feb 24, 2026

    • ThinkEngine-Showcase

      Public
      1•0•0•0•Updated Feb 24, 2026Feb 24, 2026

    • PythonESE

      Public
      Python web app to execute logic programs with different solvers, using the EmbASP framework
      Python
      •
      MIT License
      •0•2•0•1•Updated Feb 19, 2026Feb 19, 2026

    • ThinkEngine-Games-TowerDefence

      Public
      A benchmark tower-defence game
      Classic ASP
      •0•0•0•0•Updated Feb 19, 2026Feb 19, 2026

    • LoIDE-Scripts

      Public
      Collections of scripts to manage LoIDE deployment
      Shell
      •0•0•0•0•Updated Feb 2, 2026Feb 2, 2026

    • tappy-original

      Public
      Tappy is updated version of Tapsterbot developed for TestDevLab.
      JavaScript
      •
      Other
      •100•0•0•0•Updated Dec 19, 2025Dec 19, 2025

    • RoboCal-2

      Public
      Fork from the official B-Human code release
      C++
      •
      Other
      •139•0•0•0•Updated Nov 11, 2025Nov 11, 2025

    • BrainyBot_Screenshot_Server

      Public
      Kotlin
      •0•0•0•0•Updated Oct 9, 2025Oct 9, 2025

    • ASP-Data-Augmentation

      Public
      Python
      •0•0•0•0•Updated Jul 23, 2025Jul 23, 2025

    • embasp_website

      Public
      The EmbASP website
      HTML
      •
      MIT License
      •1•0•0•0•Updated Jun 14, 2025Jun 14, 2025

    • ML4ORS

      Public
      Classic ASP
      •0•0•0•0•Updated May 6, 2025May 6, 2025

    • CILC-contrdetect

      Public
      Classic ASP
      •0•0•0•0•Updated Apr 29, 2025Apr 29, 2025

    • ThinkEngine-Applications-Instances

      Public
      Collection of input and encodings of different Unity's projects based on the ThinkEngine asset
      Classic ASP
      •0•0•0•0•Updated Aug 1, 2024Aug 1, 2024

    • Data-augmentation-via-ASP

      Public
      Classic ASP
      •0•0•0•0•Updated Jun 21, 2024Jun 21, 2024

    • ASP-for-data-augmentation

      Public
      bringing this into the institutional fence
      Classic ASP
      •1•0•0•0•Updated Jun 12, 2024Jun 12, 2024

    • ThinkEngine-Games-BossRoom

      Public
      An AI player version for the Boss Room game
      C#
      •
      Other
      •1•0•0•0•Updated Apr 6, 2024Apr 6, 2024

    • EmbASP

      Public
      A general framework for embedding Logic Programming in complex systems
      MIT License
      •7•30•0•0•Updated Mar 30, 2024Mar 30, 2024

    • EnviroStream

      Public
      A Stream Reasoning Benchmark for Environmental and Climate Monitoring
      Python
      •
      Creative Commons Zero v1.0 Universal
      •0•1•0•0•Updated Mar 14, 2024Mar 14, 2024

    • LoIDE-Classic

      Public
      JavaScript
      •
      MIT License
      •1•2•0•4•Updated Jan 1, 2024Jan 1, 2024

    • EmbASP-Python

      Public
      A general framework for embedding Logic Programming in complex systems
      Python
      •
      MIT License
      •3•5•0•1•Updated Dec 9, 2023Dec 9, 2023

    • I-DLV

      Public
      The new intelligent grounder of the logic-based Artificial Intelligence system DLV
      HTML
      •0•23•0•0•Updated Dec 7, 2023Dec 7, 2023

    • tapsterbot-original

      Public
      [Automation] Open-source and open-hardware robot for automation of tests for mobile apps
      Kotlin
      •0•0•0•0•Updated Oct 12, 2023Oct 12, 2023

    • ThinkEngine-Games-CookedUp

      Public
      Unity Game inspired by Overcooked and PlateUp! with Bots AI using ASP
      C#
      •
      MIT License
      •4•0•0•0•Updated Oct 4, 2023Oct 4, 2023

    • ThinkEngine-Games-RedRunner

      Public
      Red Runner, Awesome Platformer Game.
      C#
      •
      MIT License
      •341•0•0•0•Updated Sep 4, 2023Sep 4, 2023

    • I-DLV-sr

      Public
      Python
      •0•1•1•0•Updated Sep 1, 2023Sep 1, 2023