utsaslab / nofsLinks
The No-Order File System (NoFS)
☆49Updated 13 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
- A binary serialisation format inspired by YAML, MessagePack and nvlists.☆33Updated 5 years ago
- The Mickey Mouse of dynamic linkers☆16Updated 2 months ago
- My coreboot work☆23Updated 15 years ago
- Asynchronous and more versatile replacement of posix_spawn☆23Updated 4 years ago
- Test self-modifying code behaviour on processors for single-use JIT functions☆55Updated 5 years ago
- TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)☆67Updated 7 years ago
- A small DFA for under 16 states☆54Updated 7 years ago
- The Akaros operating system☆43Updated 5 years ago
- ALLVM Tools☆57Updated 3 years ago
- Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations☆38Updated 7 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆107Updated last year
- Kitten Lightweight Kernel☆55Updated 2 years ago
- view based o.s.☆47Updated 3 months ago
- MH: a microkernel for fun and experimenting!☆31Updated 7 years ago
- Bootstrapping VM for bare metal to trusted C compilation☆51Updated last year
- Fast edit-compile-test cycles for Linux+OpenZFS development☆32Updated last month
- ☆36Updated 3 years ago
- distributed revision control system -- historical snapshot☆79Updated 12 years ago
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆77Updated 3 years ago
- Popcorn Linux compiler toolchain for heterogeneous-ISA execution☆49Updated last year
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Updated 7 years ago
- RFC and standards documents relating the 9P protocol (and its extensions and applications)☆83Updated 3 years ago
- Poireau: a sampling allocation debugger☆98Updated 4 years ago
- rvault: secure and authenticated store for secrets and small documents☆37Updated 3 years ago
- Label-based networking daemon☆23Updated 7 years ago
- Tools for running rump unikernels in userspace☆57Updated 10 years ago
- EbbRT: elastic building block runtime☆77Updated last year
- An experimental VMM for KVM written in pure Python☆33Updated 2 years ago
- BSD-licensed CTF Implementation☆21Updated 10 years ago