exokernel style operating system based on lightweight virtual machines
☆25Apr 29, 2016Updated 10 years ago
Alternatives and similar repositories for fleet
Users that are interested in fleet are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- minimal freestanding C library for bare-metal i386 development☆277Mar 17, 2016Updated 10 years ago
- Implementation of the core of an exokernel-style operating system☆12Dec 6, 2014Updated 11 years ago
- Exokernel is one of the major sources for container and library OS techniques.☆46Apr 5, 2022Updated 4 years ago
- Hira is a command to transliterate ASCII to Hiragana.☆17Jul 17, 2015Updated 11 years ago
- A static C library to abstract away all assembly needed to interface with Linux.☆15Nov 28, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Another dynamically-typed, lightweight programming language☆12May 5, 2015Updated 11 years ago
- [ARCHIVED] Porting the HAMMER File System to Linux VFS☆23Dec 4, 2012Updated 13 years ago
- C hash lib inspired by LUA's table☆10Sep 8, 2016Updated 10 years ago
- Mirror of msmtp repo.☆14May 4, 2014Updated 12 years ago
- Automatically re-implement arrays of structures as structures of arrays.☆21May 15, 2017Updated 9 years ago
- Lemon is an LALR(1) parser generator for C or C++.☆17Jun 10, 2014Updated 12 years ago
- A Kafka consumer coordination library for Go.☆33Mar 29, 2018Updated 8 years ago
- A plugin framework for namespace macros in C/C++☆37Jul 1, 2014Updated 12 years ago
- a light weight, high performance coroutine implementation☆39Oct 16, 2012Updated 13 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- webgl nodes seriously effects editor☆16Jun 26, 2015Updated 11 years ago
- unit testing framework for C/C++☆10Mar 1, 2020Updated 6 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆78Nov 16, 2017Updated 8 years ago
- Tool for debugging WebAssembly (like gdb).☆12Jan 25, 2023Updated 3 years ago
- A lightweight concurrency library for C, featuring symmetric coroutines as the main control flow abstraction.☆13Sep 9, 2015Updated 11 years ago
- Automatically generate table of contents for Markdown files☆17Nov 22, 2022Updated 3 years ago
- Audio plugin for the automatic classification and intelligent browsing of kick and snare drum sounds☆11Feb 22, 2021Updated 5 years ago
- A C implementation of Spritz, a spongy RC4-like stream cipher and hash function.☆28Jan 1, 2026Updated 9 months ago
- Adaptation of gxemul to support the CHERI MIPS unit test suite and certain CHERI features☆15Dec 8, 2015Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A library to support streaming data applications☆23Mar 1, 2021Updated 5 years ago
- Cocktail Toolbox for compiler construction - generated source code in C☆14Jan 9, 2025Updated last year
- HTTP(S) client for PicoLisp☆14Mar 8, 2017Updated 9 years ago
- Implements the "cucumber" BDD framework in the nim language.☆10Dec 27, 2016Updated 9 years ago
- Website for getting second hands from books at goodreads.com☆13Aug 2, 2020Updated 6 years ago
- C Streaming parser for Smile ( http://wiki.fasterxml.com/JacksonBinaryFormatSpec )☆32Jun 12, 2020Updated 6 years ago
- Stage 3 Dissertation project. The aim is to create an X86-32bit operating system as a vehicle to learn about operating systems from a stu…☆10Nov 18, 2018Updated 7 years ago
- Support for root over network block device☆12Aug 3, 2016Updated 10 years ago
- A quick port of lwIP running on top of BareMetal.☆144May 6, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Very tiny and selective implementation of STL for Windows NT kernel mode drivers☆18Jun 22, 2021Updated 5 years ago
- I'm learning Dlang☆12Nov 14, 2023Updated 2 years ago
- ☆11Aug 13, 2021Updated 5 years ago
- Android archiver using minizip library.☆15May 22, 2014Updated 12 years ago
- pentomino puzzle☆17Sep 24, 2015Updated 11 years ago
- internship☆10Sep 1, 2017Updated 9 years ago
- SSH for DigitalOcean☆15Dec 17, 2015Updated 10 years ago