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
- [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 9 years ago
- Strategy backtester for Uniswap V3.☆10Dec 1, 2021Updated 4 years ago
- Mirror of msmtp repo.☆14May 4, 2014Updated 12 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.
- 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
- Crackme collections☆14May 24, 2020Updated 6 years ago
- This repo has moved with the upgrade to git based AUR4. Please see the following link for details:☆12Jun 14, 2015Updated 11 years ago
- A plugin framework for namespace macros in C/C++☆37Jul 1, 2014Updated 12 years ago
- Simple "Stable Fluids" Implementation☆16Mar 25, 2024Updated 2 years ago
- A toy library for rendering isometric landscapes made of cubes☆13Apr 2, 2021Updated 5 years ago
- Interrupt driven variant of libopencm3's usb_cdcacm example.☆16Mar 22, 2018Updated 8 years ago
- unit testing framework for C/C++☆10Mar 1, 2020Updated 6 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.
- Website contents for nommu.org☆10Sep 30, 2020Updated 5 years ago
- TextMate support for D☆13Feb 22, 2024Updated 2 years ago
- Make games without writing code☆17Jul 3, 2018Updated 8 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
- First operating system written in D lang v2☆110Jun 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 10 years ago
- PCB layout for my cheap FPGA HDMI experimenting board☆10Aug 21, 2014Updated 12 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.
- Automatically generate table of contents for Markdown files☆17Nov 22, 2022Updated 3 years ago
- a javascript implementation of zcash's PoW solver☆13Apr 19, 2017Updated 9 years ago
- Adaptation of gxemul to support the CHERI MIPS unit test suite and certain CHERI features☆15Dec 8, 2015Updated 10 years ago
- Script for dumping data from IMAX B6 mini charger into .csv☆14Mar 20, 2016Updated 10 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
- 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
- A quick port of lwIP running on top of BareMetal.☆144May 6, 2018Updated 8 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.
- I'm learning Dlang☆12Nov 14, 2023Updated 2 years ago
- mini os☆22Jul 16, 2017Updated 9 years ago
- Library for STM8 microcontroller☆19Apr 18, 2015Updated 11 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 2 years ago