marssaxman / fleet
exokernel style operating system based on lightweight virtual machines
☆25Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for fleet
- A library for Rapid {C|Concurrency|Correct} Development☆34Updated 9 years ago
- Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren☆57Updated 2 years ago
- 🔄 Flexible C memory allocation scheme☆77Updated 7 months ago
- An experimental statically typed procedural language with first-class resumable functions.☆58Updated 8 years ago
- Free-List Memory Pool of fixed-size objects in C99☆48Updated last year
- A highly portable build system targeting modern UNIX systems. Supports C, OCaml, TeX, METAPOST, NOWEB, M4, and more. Based on BSD Make.☆102Updated 5 years ago
- Many functions in C for sorting the nibbles in an 8-byte word☆33Updated 9 years ago
- rcor C compiler (under development)☆115Updated 7 years ago
- JIT compiler for 6502 machine code, built on lib6502 and LLVM☆54Updated 10 years ago
- MH: a microkernel for fun and experimenting!☆30Updated 6 years ago
- Mirror of libslz☆34Updated 5 years ago
- An exercise in cryptographic minimlism☆24Updated 9 years ago
- mini_printf - minimal, self-contained and verified printf()☆34Updated 9 years ago
- bit & sketches data structures☆60Updated 6 years ago
- A library that allows processes to waive their rights☆27Updated 8 years ago
- Microraptor gui☆41Updated 3 years ago
- userspace threads and coroutines for C☆18Updated 9 years ago
- An obsolete project☆82Updated 6 years ago
- Snabb: simple and fast packet networking☆80Updated 5 years ago
- Non-preemptive Thread Hierarchy Manager☆55Updated 3 weeks ago
- Software Development Platform for ARM / Android terminals☆39Updated 8 years ago
- A compact library for C99 (and MSVC in C++ mode) providing refcounted arrays, maps, lists and a cool lexical scanner.☆40Updated 7 years ago
- Portable scanf/printf-like functions to marshal binary data☆61Updated 9 years ago
- portable libc optimized for code size and readability☆81Updated 8 years ago
- ☆9Updated 7 years ago
- minimal freestanding C library for bare-metal i386 development☆268Updated 8 years ago