Repositories list

• datagram-db

  Public
  graph-theoryquery-languageobject-oriented-database

  C++

  •

  GNU General Public License v3.0

  •1•0•0•0•Updated Jul 12, 2025Jul 12, 2025

• LaSSI

  Public
  LaSSI: Logical, Structural, and Semantic text Interpretation

  Python

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Jul 11, 2025Jul 11, 2025

• LogDS.github.io

  Public
  HTML

  •

  MIT License

  •0•0•0•0•Updated Jun 30, 2025Jun 30, 2025

• yaucl

  Public
  Yet Another Useless C++ Library

  C++

  •

  GNU General Public License v2.0

  •0•1•1•0•Updated Jun 16, 2025Jun 16, 2025

• SimulatorOrchestrator

  Public
  A Presentation and Session Layer simulator for Osmotic Architectures (IoT Battery information)

  Java

  •0•1•0•0•Updated Jun 12, 2025Jun 12, 2025

• GEVAI

  Public
  General Explainable and Verifiable Artificial Intelligence Framework

  Python

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated May 29, 2025May 29, 2025

• knobab

  Public
  Fast LTLf Log-SAT Solver with Data Payload!

  data-scienceknowledge-basedata-mining-algorithms+ 3linear-temporal-logicinference-engineconformance-checking

  C++

  •

  GNU General Public License v3.0

  •0•0•6•0•Updated Apr 12, 2025Apr 12, 2025

• FunctionalMatch

  Public
  A Pattern Matching library and query language for Python

  functional-programmingpattern-matchingpython3+ 3query-languagematching-enginerewriting-system

  Python

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Mar 30, 2025Mar 30, 2025

• rocksdb

  Public
  A library that provides an embeddable, persistent key-value store for fast storage.

  C++

  •

  GNU General Public License v2.0

  •6.5k•0•0•0•Updated Dec 26, 2024Dec 26, 2024

• l-bfgs-b

  Public
  L-BFGS-B as a C++ header-only library

  C++

  •

  MIT License

  •4•0•0•0•Updated Dec 2, 2024Dec 2, 2024

• COtt

  Public
  Ott implementation for C++

  small-step-semanticsprogram-semantics

  C++

  •0•0•0•0•Updated Jun 24, 2024Jun 24, 2024

• datagramdb-visualizer

  Public
  Query language visualizer for the query language and final results

  Java

  •

  GNU General Public License v3.0

  •1•0•0•0•Updated Jun 2, 2024Jun 2, 2024

• multiobjectiveDijkstra

  Public
  Implementation of the Multiobjective Dijkstra Algorithm as introduced in https://doi.org/10.1016/j.cor.2021.105424

  Jupyter Notebook

  •

  GNU General Public License v3.0

  •1•0•0•0•Updated Apr 20, 2024Apr 20, 2024