Skip to content

Navigation Menu

kit-dsn

Explore
By size
By industry
By use case
Topics
- AI
- DevOps
- Security
- Software Development
- View all
Explore
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
- Enterprise platform
  AI-powered developer platform
Available add-ons
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

KIT DSN

Decentralized Systems and Network Services Research Group

7 followers
Karlsruhe
https://dsn.kastel.kit.edu

Overview
Repositories
Projects
Packages
People

More

Overview
Repositories
Projects
Packages
People

Popular repositories Loading

payment-channel-tla payment-channel-tla Public

Specification of a protocol for payment channels in TLA+

TLA 14 3
zeek-profinet-analyzer zeek-profinet-analyzer Public

Profinet packet analyzer plugin for Zeek.

Zeek 5 2
zeek-goose-analyzer zeek-goose-analyzer Public

GOOSE packet analyzer plugin for Zeek.

JavaScript 4 2
packet-analyzer-benchmarks packet-analyzer-benchmarks Public

C++ 4 1
cuculiform cuculiform Public

C++ 3
pfennigfuchs pfennigfuchs Public archive

TypeScript 3 2

Repositories

Loading

Type

Select type

All Public Sources Forks Archived Mirrors Templates

Language

Select language

All C++ JavaScript PDDL Rust TLA TypeScript Zeek

Sort

Select order

Last updated Name Stars

Showing 10 of 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”

kit-dsn/how-to-raise-a-robot-beyond-ac’s past year of commit activity

PDDL 0 0 0 0 Updated Oct 5, 2023
pfennigfuchs Public archive

kit-dsn/pfennigfuchs’s past year of commit activity

TypeScript 3 AGPL-3.0 2 0 0 Updated Sep 20, 2022
payment-channel-tla Public
Specification of a protocol for payment channels in TLA+

kit-dsn/payment-channel-tla’s past year of commit activity

TLA 14 3 0 0 Updated Mar 8, 2022
packet-analyzer-benchmarks Public

kit-dsn/packet-analyzer-benchmarks’s past year of commit activity

C++ 4 AGPL-3.0 1 0 0 Updated Jun 24, 2021
zeek-profinet-analyzer Public
Profinet packet analyzer plugin for Zeek.

kit-dsn/zeek-profinet-analyzer’s past year of commit activity

Zeek 5 BSD-3-Clause 2 0 0 Updated Jun 14, 2021
zeek-goose-analyzer Public
GOOSE packet analyzer plugin for Zeek.

kit-dsn/zeek-goose-analyzer’s past year of commit activity

JavaScript 4 BSD-3-Clause 2 1 0 Updated Jun 14, 2021
dsn-traveller Public Forked from florianjacob/dsn-traveller
Travelling the Matrix network, for Science!

kit-dsn/dsn-traveller’s past year of commit activity

Rust 0 AGPL-3.0 2 0 0 Updated Nov 18, 2019
cuculiform Public

kit-dsn/cuculiform’s past year of commit activity

C++ 3 0 0 0 Updated Jun 27, 2018
peerdiscovery-sim Public Forked from tillneu/peerdiscovery-sim

kit-dsn/peerdiscovery-sim’s past year of commit activity

C++ 0 1 0 0 Updated Mar 13, 2018
bitcoin-clusterer Public Forked from tillneu/bitcoin-clusterer

kit-dsn/bitcoin-clusterer’s past year of commit activity

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

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…

Footer

© 2024 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.