hayley-leblanc Goto Github PK

assise

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

Adding support for the Rust language to the Linux kernel.

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

pmfs5.1

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

trio-sosp23-ae

verified-storage

Storage systems with verified correctness properties

verus

Verified Rust for low-level systems code

zookeeper

Apache ZooKeeper