Skip to content
@datagram-db

LOGic for Data Science (old repos)

Popular repositories Loading

  1. DataVisualization DataVisualization Public

    Forked from brunomnsilva/JavaFXSmartGraph

    Generic (Java FX) Graph Visualization Library

    Java 1

  2. functional-programming functional-programming Public

    C++

  3. datagram-ETL datagram-ETL Public

    C++

  4. language language Public

    Defining the language analyser (OCaml: to be ported in C/C++)

    OCaml

  5. knobab knobab Public

    Fast LTLf Log-SAT Solver with Data Payload!

    C++

  6. ModelMining ModelMining Public

    Python Counterpart to Model Mining with Data

    Python

Repositories

Showing 10 of 18 repositories
  • LaSSI Public

    LaSSI: Logical, Structural, and Semantic text Interpretation

    Python 0 GPL-3.0 0 0 0 Updated Mar 23, 2025
  • stanfordnlp_dg_server Public
    Java 0 GPL-2.0 0 0 0 Updated Mar 13, 2025
  • knobab Public

    Fast LTLf Log-SAT Solver with Data Payload!

    C++ 0 GPL-3.0 0 6 0 Updated Mar 3, 2025
  • datagram-db Public
    C++ 0 GPL-3.0 1 0 0 Updated Jan 6, 2025
  • datagram-db-legacy Public Forked from datagram-db/datagram-db

    legacy branch

    C++ 0 GPL-3.0 1 0 0 Updated Jan 6, 2025
  • LeSSI-python Public archive

    ⛔️ DEPRECATED. Please use LaSSI instead (see url below)

    Python 0 GPL-2.0 0 0 0 Updated Sep 18, 2024
  • simple-ontology-alignment Public

    A simple ontology alignment utility

    Java 0 GPL-3.0 0 0 0 Updated Mar 20, 2024
  • pddl4j-data Public Forked from pellierd/pddl4j

    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 0 LGPL-3.0 68 0 0 Updated Oct 6, 2023
  • ModelMining Public

    Python Counterpart to Model Mining with Data

    Python 0 0 0 0 Updated Sep 11, 2023
  • ltur Public

    Implementation of LTUR

    Java 0 0 0 0 Updated May 29, 2023
View all repositories

Top languages

Loading…

Most used topics

Loading…