Pinned Repositories
ceph-deploy-ansible
ceph-deploy-popper
ceph-deploy-popper
chaoxis
A Python implementation of LDFI.
cornix
A columnar NoSQL Database System with Domain Subsumption Constraints
iapyx
A stand-alone translator for Dedalus programs.
orik
A provenance tree generator for recursive Datalog with negation (and Dedalus).
pdsw19-reprod
skyhook-ansible
ansible scripts for installing skyhook
skyhook-popper
skyhookdm-ceph
Skyhook Data Management: programmable storage for databases. This repo contains the Ceph extensions to support data management in storage.
KDahlgren's Repositories
KDahlgren/chaoxis
A Python implementation of LDFI.
KDahlgren/orik
A provenance tree generator for recursive Datalog with negation (and Dedalus).
KDahlgren/cornix
A columnar NoSQL Database System with Domain Subsumption Constraints
KDahlgren/iapyx
A stand-alone translator for Dedalus programs.
KDahlgren/krat0s
Krat0s is a framework for running distributed systems and protocols on simulated architecture topologies.
KDahlgren/skyhook-popper
KDahlgren/ceph-deploy-ansible
KDahlgren/ceph-deploy-popper
ceph-deploy-popper
KDahlgren/pdsw19-reprod
KDahlgren/skyhook-ansible
ansible scripts for installing skyhook
KDahlgren/a_project
a project.
KDahlgren/ampli
//
KDahlgren/bival
A sandbox for modeling ceph using Dedalus or C4 Overlog.
KDahlgren/CMPS232-Fall16
KDahlgren/decl-storage-hs17
KDahlgren/disorderlylabs.github.io
Website for disorderlylabs
KDahlgren/eisa
KDahlgren/fault_injection
Request level fault injection using OpenTracing + GRPC
KDahlgren/geni
Github actions for GENI
KDahlgren/hello-github-actions
KDahlgren/lit_collection
read these. it's healthy.
KDahlgren/mathapps
KDahlgren/molly
An implementation of LDFI
KDahlgren/nyctea
An input generation platform for testing distributed protocols.
KDahlgren/pyc4
A Python interface for the C4 overlog runtime.
KDahlgren/rabbet
A software composition system.
KDahlgren/skyhook-exps
KDahlgren/sniper
A critical leaf identifier for Rule/Goal Graphs.
KDahlgren/temp_name
KDahlgren/theogony
An oracle for distributed system failure preemption and avoidance.