utsaslab / nofsLinks
The No-Order File System (NoFS)
☆47Updated 12 years ago
Alternatives and similar repositories for nofs
Users that are interested in nofs are comparing it to the libraries listed below
Sorting:
- Quick sort code using AVX2 instructions☆69Updated 8 years ago
- The Mickey Mouse of dynamic linkers☆14Updated 2 months ago
- A binary serialisation format inspired by YAML, MessagePack and nvlists.☆32Updated 4 years ago
- TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)☆66Updated 6 years ago
- Test self-modifying code behaviour on processors for single-use JIT functions☆53Updated 5 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated last year
- BSD-licensed CTF Implementation☆19Updated 10 years ago
- MH: a microkernel for fun and experimenting!☆31Updated 7 years ago
- A synchronous, single-threaded interface for starting processes on Linux☆34Updated 3 years ago
- Fast edit-compile-test cycles for Linux+OpenZFS development☆29Updated 3 weeks ago
- Shuffle-based predicate matcher and all-round branch free swiss army chainsaw☆17Updated 7 years ago
- Bootstrapping VM for bare metal to trusted C compilation☆47Updated 10 months ago
- A small DFA for under 16 states☆51Updated 7 years ago
- Asynchronous and more versatile replacement of posix_spawn☆22Updated 4 years ago
- ALLVM Tools☆56Updated 3 years ago
- The Akaros operating system☆41Updated 4 years ago
- RFC and standards documents relating the 9P protocol (and its extensions and applications)☆82Updated 2 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆41Updated 2 years ago
- An experimental VMM for KVM written in pure Python☆33Updated 2 years ago
- ☆35Updated 2 years ago
- Label-based networking daemon☆23Updated 6 years ago
- Reproducing resuts from old papers on modern filesystems☆23Updated 7 years ago
- Kitten Lightweight Kernel☆56Updated 2 years ago
- A proof-of-concept for a read-only filesystem with random contents generated on demand.☆39Updated 4 years ago
- The control panel for your cloud's memory☆36Updated 9 years ago
- Poireau: a sampling allocation debugger☆98Updated 3 years ago
- Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations☆37Updated 6 years ago
- view based o.s.☆43Updated 3 weeks ago
- tux3 file system☆75Updated 10 years ago
- Runnable pseudocode for Finite State Entropy compression☆30Updated 7 years ago