A playground to build C/C++/Go/Fortran applications on top of RustyHermit
☆47Jul 3, 2024Updated 2 years ago
Alternatives and similar repositories for hermit-playground
Users that are interested in hermit-playground are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Hermit bootloader.☆84Sep 7, 2026Updated last month
- A toy operating system built with Rust☆16Nov 22, 2017Updated 8 years ago
- A Rust-based, lightweight unikernel.☆1,502Oct 2, 2026Updated last week
- RFCs for changes to Rust☆13Sep 24, 2026Updated 2 weeks ago
- Hermit for Rust.☆1,968Oct 1, 2026Updated last week
- 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.
- perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU☆41Apr 3, 2020Updated 6 years ago
- Check that a crate builds without libstd☆25Jan 31, 2021Updated 5 years ago
- Binary patch utility to set default thread stack size for musl libc☆27Jun 20, 2019Updated 7 years ago
- This repository contains the core and extended source files of the standard library of the SaC programming language.☆19Sep 11, 2026Updated 3 weeks ago
- Codinfox theme for Zola static website generator☆11May 10, 2023Updated 3 years ago
- reveal.js template slides and custom themes☆13Feb 15, 2016Updated 10 years ago
- Python cli and package interface for local and remote plantuml☆14Jun 26, 2025Updated last year
- A real-time capable pseudo-preemptive scheduler for JavaScript☆21Aug 18, 2020Updated 6 years ago
- Compcert repository of the Yale FLINT Group☆12Mar 10, 2026Updated 6 months 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.
- Mallacc: Accelerating Memory Allocation☆13Jan 2, 2018Updated 8 years ago
- ELF prelinking utility to speed up dynamic linking [unofficial mirror]☆11Jan 27, 2018Updated 8 years ago
- DeDOS: Declarative Dispersion-Oriented Software☆11Oct 4, 2018Updated 8 years ago
- ☆23May 27, 2024Updated 2 years ago
- Infiniband RDMA Examples using libibverbs and librdmacm for learning purposes☆14Sep 24, 2021Updated 5 years ago
- Secure/Speedup TCP-like UDP protocol☆12Jun 20, 2017Updated 9 years ago
- New register allocator designed as a successor to regalloc2☆72Aug 20, 2026Updated last month
- Rumprun (SMP version)☆11Jan 4, 2021Updated 5 years ago
- Binary wrapper that disables vDSO for a wrapped application.☆18Feb 17, 2026Updated 7 months 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 L4-like micro-kernel OS written in Rust☆67Jan 6, 2024Updated 2 years ago
- Home Assistant Integration for daily import of the German PPC SMGW power consumption and surplus feed values for customers of Octopus Ene…☆49Updated this week
- Heterogeneous memory mapper (hmmap)☆12Dec 4, 2020Updated 5 years ago
- Rust library for parsing a number of firmware images☆16Feb 22, 2023Updated 3 years ago
- A specialized hypervisor for Hermit.☆295Updated this week
- Open Source re-Isearch Project☆19Sep 22, 2026Updated 2 weeks ago
- Anomaly Detection using SH-ESD☆10Feb 6, 2019Updated 7 years ago
- Table replication for PostgreSQL nodes with Ceph and ZLog☆19Jan 13, 2017Updated 9 years ago
- TLS 1.3 Handshake in Linux Kernel: 1. used by QUIC implementation on 'quic' branch; 2. used by NFS over TLS on 'sunrpc' branch; 3. us…☆12Dec 5, 2023Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆20Apr 21, 2026Updated 5 months ago
- Reverse Engineered implementation of the Backblaze Personal Backup Downloader client☆10Dec 22, 2024Updated last year
- Practical Tamper-Proof System Auditing☆15Oct 19, 2023Updated 2 years ago
- a simple resume☆20Mar 17, 2023Updated 3 years ago
- ☆11Aug 23, 2023Updated 3 years ago
- ☆16May 23, 2023Updated 3 years ago
- Arbitrary width integers☆31Aug 26, 2026Updated last month