hayley-leblanc's repositories
ckan
CKAN is an open-source DMS (data management system) for powering data hubs and data portals. CKAN makes it easy to publish, share and use data. It powers datahub.io, catalog.data.gov and europeandataportal.eu/data/en/dataset among many other sites.
ckanext-pdfview
PDF viewer for CKAN >= 2.3
ckanext-privatedatasets
CKAN extension that allows a user to create private datasets only visible to certain users. The extension provides also an API to specify which users can access private datasets
Corundum
A Rust library for safely programming persistent memory
crashmonkey
CrashMonkey: tools for testing file-system reliability (OSDI 18)
cs360v-f20
CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.
cs360v-f21
Virtualization course at the UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.
filebench
File system and storage benchmark that uses a custom language to generate a large variety of workloads.
linux-nova
NOVA is a log-structured file system designed for byte-addressable non-volatile memories, developed at the University of California, San Diego.
NetworksP2P
A peer 2 peer file sharing service written for a networks class final project
panda
Platform for Architecture-Neutral Dynamic Analysis
PMFS-new
Porting PMFS to the latest Linux kernel
smack
SMACK Software Verifier and Verification Toolchain
SplitFS
SplitFS: persistent-memory file system that reduces software overhead (SOSP 2019)
strata
Strata: A Cross Media File System
verified-storage
Storage systems with verified correctness properties
verus
Verified Rust for low-level systems code
zookeeper
Apache ZooKeeper