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.☆45Apr 5, 2022Updated 4 years ago
- Another dynamically-typed, lightweight programming language☆12May 5, 2015Updated 11 years ago
- C hash lib inspired by LUA's table☆10Sep 8, 2016Updated 10 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.
- Detect some forms of linux kernel tampering☆12Jun 12, 2015Updated 11 years ago
- Automatically re-implement arrays of structures as structures of arrays.☆21May 15, 2017Updated 9 years ago
- Libretro core for Vircon32☆13Aug 29, 2026Updated 3 weeks ago
- Crackme collections☆14May 24, 2020Updated 6 years ago
- Simple "Stable Fluids" Implementation☆16Mar 25, 2024Updated 2 years ago
- a light weight, high performance coroutine implementation☆39Oct 16, 2012Updated 13 years ago
- A toy library for rendering isometric landscapes made of cubes☆14Apr 2, 2021Updated 5 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Tool for debugging WebAssembly (like gdb).☆12Jan 25, 2023Updated 3 years ago
- Core Library for XYO Network in C☆16Apr 16, 2020Updated 6 years ago
- First operating system written in D lang v2☆109Jun 16, 2025Updated last year
- A simple and lightweight Rust library for making iterator pipelines concurrent☆15May 18, 2019Updated 7 years ago
- A lightweight concurrency library for C, featuring symmetric coroutines as the main control flow abstraction.☆13Sep 9, 2015Updated 11 years ago
- PCB layout for my cheap FPGA HDMI experimenting board☆10Aug 21, 2014Updated 12 years ago
- a javascript implementation of zcash's PoW solver☆13Apr 19, 2017Updated 9 years ago
- IPlug "Tale" Edition example (tremolo effect).☆12Jul 8, 2026Updated 2 months ago
- OpenCV plus Unity☆13Jun 17, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Adaptation of gxemul to support the CHERI MIPS unit test suite and certain CHERI features☆15Dec 8, 2015Updated 10 years ago
- 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
- 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
- High performance, DPDK-based, user space firewall☆13Dec 9, 2015Updated 10 years ago
- A quick port of lwIP running on top of BareMetal.☆144May 6, 2018Updated 8 years ago
- Very tiny and selective implementation of STL for Windows NT kernel mode drivers☆18Jun 22, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- I'm learning Dlang☆12Nov 14, 2023Updated 2 years ago
- D programming language wrapper for InfluxDB☆12Sep 25, 2025Updated 11 months ago
- Kiwi operating system☆17Jan 12, 2025Updated last year
- Smart contract to forward 'loose change' to Tornado.cash☆21Feb 3, 2022Updated 4 years ago
- ☆12Sep 18, 2023Updated 3 years ago
- Android archiver using minizip library.☆15May 22, 2014Updated 12 years ago
- pentomino puzzle☆17Sep 24, 2015Updated 10 years ago