4 results found Sort:

FlingOS
FlingOS FlingOS
85
559
gpl-2.0
44
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
31
193
apache-2.0
15
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
25
171
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
324 commits to master branch, last one 25 days ago
au-ts
cogent au-ts
26
158
other
21
Cogent Project
file-systems isabelle-hol verification co-generation programming-languages
Created 2016-05-01
2,376 commits to master branch, last one about a year ago