Skip to content

@kit-dsn KIT DSN

Change the repository type filter

All

    Repositories list

    10 repositories

    • how-to-raise-a-robot-beyond-ac

      Public
      PDDL and ChatGPT Artifacts to our Poster “How to Raise a Robot – Beyond Access Control Constraints in Assistive Humanoid Robots”
      PDDL
      •0•0•0•0•Updated Oct 5, 2023Oct 5, 2023

    • pfennigfuchs

      Public archive
      TypeScript
      •
      GNU Affero General Public License v3.0
      •2•3•0•0•Updated Sep 20, 2022Sep 20, 2022

    • payment-channel-tla

      Public
      Specification of a protocol for payment channels in TLA+
      TLA
      •3•14•0•0•Updated Mar 8, 2022Mar 8, 2022

    • packet-analyzer-benchmarks

      Public
      C++
      •
      GNU Affero General Public License v3.0
      •1•4•0•0•Updated Jun 24, 2021Jun 24, 2021

    • zeek-profinet-analyzer

      Public
      Profinet packet analyzer plugin for Zeek.
      Zeek
      •
      BSD 3-Clause "New" or "Revised" License
      •2•6•0•0•Updated Jun 14, 2021Jun 14, 2021

    • zeek-goose-analyzer

      Public
      GOOSE packet analyzer plugin for Zeek.
      JavaScript
      •
      BSD 3-Clause "New" or "Revised" License
      •2•4•1•0•Updated Jun 14, 2021Jun 14, 2021

    • dsn-traveller

      Public
      Travelling the Matrix network, for Science!
      Rust
      •
      GNU Affero General Public License v3.0
      •2•0•0•0•Updated Nov 18, 2019Nov 18, 2019

    • cuculiform

      Public
      C++
      •0•3•0•0•Updated Jun 27, 2018Jun 27, 2018

    • peerdiscovery-sim

      Public
      C++
      •1•0•0•0•Updated Mar 13, 2018Mar 13, 2018

    • bitcoin-clusterer

      Public
      C++
      •7•2•0•0•Updated Jan 13, 2017Jan 13, 2017