KIT DSN
- 11 followers
- Karlsruhe
- https://dsn.kastel.kit.edu
Popular repositories Loading
-
payment-channel-tla
payment-channel-tla PublicSpecification of a protocol for payment channels in TLA+
-
proof-carrying-crdts
proof-carrying-crdts PublicProof-Carrying CRDTs allow Succinct Non-Interactive Byzantine Update Validation
TypeScript 7
-
zeek-profinet-analyzer
zeek-profinet-analyzer PublicProfinet packet analyzer plugin for Zeek.
-
zeek-goose-analyzer
zeek-goose-analyzer PublicGOOSE packet analyzer plugin for Zeek.
-
-
Repositories
- can-a-LLM-keep-my-secrets Public
kit-dsn/can-a-LLM-keep-my-secrets’s past year of commit activity - proof-carrying-crdts Public
Proof-Carrying CRDTs allow Succinct Non-Interactive Byzantine Update Validation
kit-dsn/proof-carrying-crdts’s past year of commit activity - 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 - pfennigfuchs Public archive
kit-dsn/pfennigfuchs’s past year of commit activity - packet-analyzer-benchmarks Public
kit-dsn/packet-analyzer-benchmarks’s past year of commit activity - dsn-traveller Public Forked from florianjacob/dsn-traveller
Travelling the Matrix network, for Science!
kit-dsn/dsn-traveller’s past year of commit activity
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…