Skip to content
Change the repository type filter

All

    Repositories list

    • C++
      GNU General Public License v3.0
      0000Updated Nov 7, 2024Nov 7, 2024
    • LaSSI: Logical, Structural, and Semantic text Interpretation
      Python
      GNU General Public License v3.0
      0000Updated Nov 6, 2024Nov 6, 2024
    • knobab

      Public
      Fast LTLf Log-SAT Solver with Data Payload!
      C++
      GNU General Public License v3.0
      0060Updated Oct 4, 2024Oct 4, 2024
    • Java
      GNU General Public License v2.0
      0000Updated Oct 2, 2024Oct 2, 2024
    • LeSSI-python

      Public archive
      ⛔️ DEPRECATED. Please use LaSSI instead (see url below)
      Python
      GNU General Public License v2.0
      0000Updated Sep 18, 2024Sep 18, 2024
    • A simple ontology alignment utility
      Java
      GNU General Public License v3.0
      0000Updated Mar 20, 2024Mar 20, 2024
    • PDDL4J is an open source library under LGPL license whose purpose of PDDL4J is to facilitate the development of JAVA tools for Automated Planning based on PDDL language (Planning Domain Description Language).
      PDDL
      GNU Lesser General Public License v3.0
      68000Updated Oct 6, 2023Oct 6, 2023
    • Python Counterpart to Model Mining with Data
      Python
      0000Updated Sep 11, 2023Sep 11, 2023
    • ltur

      Public
      Implementation of LTUR
      Java
      0000Updated May 29, 2023May 29, 2023
    • A dependency tree visualizer for the Stanford Typed-Dependency Parser
      Java
      GNU General Public License v2.0
      20000Updated May 28, 2023May 28, 2023
    • Simple but effective library to translate Java source code to Python.
      Python
      GNU Lesser General Public License v2.1
      243000Updated Dec 11, 2022Dec 11, 2022
    • Generic (Java FX) Graph Visualization Library
      Java
      Other
      55100Updated Sep 16, 2022Sep 16, 2022
    • Python3 implementation of the Similarity Flooding algorithm (S. Melnik, H. Garcia-Molina, E. Rahm "Similarity Flooding: A Versatile Graph Matching Algorithm")
      Python
      GNU General Public License v3.0
      2000Updated Jun 30, 2020Jun 30, 2020
    • L-utl

      Public
      User-level thread library which mimics the interface of the ​pthread​ library and runs in user space
      C++
      4000Updated May 25, 2020May 25, 2020
    • language

      Public
      Defining the language analyser (OCaml: to be ported in C/C++)
      OCaml
      0000Updated Apr 18, 2020Apr 18, 2020
    • C++
      GNU General Public License v3.0
      0000Updated Nov 3, 2019Nov 3, 2019
    • C++
      GNU General Public License v3.0
      0000Updated Nov 2, 2019Nov 2, 2019