Skip to content

@Lo-DS Lo-DS

Change the repository type filter

All

    Repositories list

    4 repositories

    • Lo-DS.github.io

      Public
      Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
      JavaScript
      •
      MIT License
      •44k•0•0•0•Updated Sep 21, 2024Sep 21, 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

    • Parmenides

      Public
      A simple ontology for LeSSI
      0•0•0•0•Updated May 6, 2024May 6, 2024