#
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
Deterministic, crash-safe Raft reference implementation with io_uring/O_DIRECT storage, eBPF fault injection, DST, Jepsen/Knossos, and bounded TLA+ verification.
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
Jul 28, 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."