#
knossos
Here are 3 public repositories matching this topic...
A set of tools for manipulation of the .nml, .swc, .zip, and .hoc files generated from webKnossos and related software. Used for processing of segmentation and skeletonization data.
-
Updated
Mar 14, 2019 - Python
Test distributed protocols the way you test pure functions: seeded faults, invariants after every step, any failure replayed from its seed.
go linux distributed-systems raft consensus model-checking ebpf xdp fault-injection nvme jepsen systems-engineering database-internals knossos write-ahead-log linearizability tla-plus deterministic-simulation io-uring direct-io
-
Updated
Aug 17, 2026 - Go
Improve this page
Add a description, image, and links to the knossos topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the knossos topic, visit your repo's landing page and select "manage topics."