exokernel style operating system based on lightweight virtual machines
☆25Apr 29, 2016Updated 9 years ago
Alternatives and similar repositories for fleet
Users that are interested in fleet are comparing it to the libraries listed below
Sorting:
- A plugin framework for namespace macros in C/C++☆36Jul 1, 2014Updated 11 years ago
- A splaytree ADT written in C with a BSD license☆18Jun 18, 2020Updated 5 years ago
- eXokernel Development Kit for Linux☆14Jan 6, 2017Updated 9 years ago
- Tools for testing C compilers for the correct handling of volatile objects.☆30Jul 18, 2014Updated 11 years ago
- Implementation of the core of an exokernel-style operating system☆11Dec 6, 2014Updated 11 years ago
- A collection of functions for making writing to a bitstream eaisier; written in C under a BSD license☆14Jul 31, 2014Updated 11 years ago
- Exokernel is one of the major sources for container and library OS techniques.☆44Apr 5, 2022Updated 3 years ago
- Exokernel to run ocaml baremetal on the Raspberry Pi☆41Jul 11, 2014Updated 11 years ago
- A static C library to abstract away all assembly needed to interface with Linux.☆14Nov 28, 2021Updated 4 years ago
- a small, lightweight pre-forking container☆21Nov 22, 2020Updated 5 years ago
- A tiny implementation of a sensible regex subset☆30Jun 22, 2025Updated 8 months ago
- An AVL tree implemented with an array, because cache misses keep you awake at night. Using a BSD license☆18Jun 14, 2014Updated 11 years ago
- Yet another C standard library☆17Oct 6, 2024Updated last year
- ☆22Oct 11, 2017Updated 8 years ago
- Github mirror of PDCLib (http://hg.pdclib.e43.eu/pdclib)☆15Nov 14, 2013Updated 12 years ago
- a library of useful C utilities☆63Oct 22, 2013Updated 12 years ago
- Bit Shifter's Cross Assembler for 6502, 65C02 and 45GS02 CPU☆32Mar 4, 2025Updated 11 months ago
- A GIT clone of uthash.sourceforge.net, a hash table, implemented in C, supporting constant-time add/find/remove of C structures. Any stru…☆37Oct 17, 2013Updated 12 years ago
- Heap priority queue written in C, licensed under a BSD license☆33Nov 22, 2014Updated 11 years ago
- Converts an ELF binary to a JSON representation☆34Sep 3, 2015Updated 10 years ago
- A library that allows processes to waive their rights☆27Dec 22, 2015Updated 10 years ago
- Automatically exported from code.google.com/p/libconcurrency☆26Mar 19, 2015Updated 10 years ago
- Tiny Operating System supporting: SVGA gui, Grub bootloader, network subsystem, CDROM drivers.☆33Nov 21, 2012Updated 13 years ago
- Another C Library optimized for Embedded Linux☆62May 20, 2014Updated 11 years ago
- Allows you to use your Bluetooth gamepad on your PC via your mobile phone (so you don't need a Bluetooth dongle)☆11Oct 15, 2021Updated 4 years ago
- Node.js SDK for IBM X-Force Exchange☆15Aug 20, 2018Updated 7 years ago
- 🔄 Flexible C memory allocation scheme☆79Jan 21, 2026Updated last month
- Modern Style, a framework for optimizing SASS on web applications and sites.☆11Jan 14, 2015Updated 11 years ago
- light ifconfig☆14Apr 13, 2019Updated 6 years ago
- My own C library. Probably don't use it.☆34Feb 5, 2020Updated 6 years ago
- RemoteBridge is a library that allows you to access internal COM and JAVA objects used by third-party applications remotely.☆35Oct 11, 2017Updated 8 years ago
- se is a screen oriented version of the classic UNIX text editor ed.☆40Aug 5, 2023Updated 2 years ago
- A toy LDAP server in C for illustrative purposes☆12Apr 6, 2011Updated 14 years ago
- quick c☆36Mar 19, 2022Updated 3 years ago
- Constraint solver based on abstract interpretation☆10Dec 20, 2024Updated last year
- A more realistic demo of a buffer overflow cause by -ffast-math☆15Sep 10, 2022Updated 3 years ago
- Small contributions to Wicket☆18Nov 26, 2014Updated 11 years ago
- ☆30May 17, 2018Updated 7 years ago
- ☆11May 10, 2016Updated 9 years ago