4 results found Sort:

FlingOS
FlingOS FlingOS
86
570
gpl-2.0
43
An educational operating system written in C#. A great stepping stone from high to low level development.
ata pci usb x86 fat32 csharp serial x86-32 article iso9660 compiler tutorial low-level multi-task educational filesystems file-systems flingos-source operating-system low-level-programming
This repository has been archived (exclude archived)
Created 2015-09-07
1,291 commits to develop branch, last one 7 years ago
utsaslab
crashmonkey utsaslab
32
198
apache-2.0
14
CrashMonkey: tools for testing file-system reliability (OSDI 18)
file-systems test-harness crash-consistency
Created 2017-06-30
899 commits to master branch, last one 2 years ago
breuner
elbencho breuner
26
190
gpl-3.0
15
A distributed storage benchmark for file systems, object stores & block devices with support for GPUs
s3 fio gpu ior hdfs nvme linux mdtest storage windows parallel benchmark live-stats distributed file-systems block-storage deep-learning
Created 2020-06-29
352 commits to master branch, last one 8 days ago
au-ts
cogent au-ts
27
162
other
20
Cogent Project
file-systems isabelle-hol verification co-generation programming-languages
Created 2016-05-01
2,378 commits to master branch, last one 10 days ago