Creating a minimal ELF file
☆131Mar 8, 2026Updated 7 months ago
Alternatives and similar repositories for minimal-elf
Users that are interested in minimal-elf are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated last year
- 🍄 an alleged 'operating system'☆803Aug 7, 2026Updated 2 months ago
- ☆96Sep 18, 2023Updated 3 years ago
- Tiny little crate to determine how large an unnameable type is.☆12Mar 29, 2025Updated last year
- An efficient runtime for asynchronous applications in Rust.☆43Nov 8, 2022Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A lock-free, append-only atomic pool.☆71May 29, 2022Updated 4 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- A faster port of the unix command wc in Rust☆15Oct 24, 2023Updated 3 years ago
- An architecture module for Binary Ninja to support msp430☆18Aug 23, 2024Updated 2 years ago
- ☆20Aug 7, 2024Updated 2 years ago
- Find the load at which a benchmark falls over.☆37Jul 31, 2020Updated 6 years ago
- Proving crash safety for systems with layered recovery☆16Apr 1, 2026Updated 7 months ago
- 🌄 x86_64 OS (kernel) made from scratch in Rust & Assembly☆79May 25, 2026Updated 5 months ago
- A secure utmp/wtmp implementation☆20Jul 14, 2026Updated 3 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.
- Rust implementation of Tim Bray's topfew tool☆41Apr 16, 2026Updated 6 months ago
- Flexible, stand-alone benchmarking☆18Apr 4, 2018Updated 8 years ago
- A perf script for helping to answer queries about how much time a given function occupies, where it is called from, and so forth.☆41May 31, 2018Updated 8 years ago
- 🧪 | Lisp with REPL and macros which will compile itself☆14Dec 4, 2024Updated last year
- Attach values statically to a type using static get/set methods.☆18Dec 29, 2023Updated 2 years ago
- Timer facilities for Tokio based on OS-level primitives.☆14May 7, 2020Updated 6 years ago
- Count directory entries—`ls | wc -l` but faster☆29Jun 24, 2026Updated 4 months ago
- ☆18Aug 2, 2026Updated 3 months ago
- Documentation of Rust error handling☆51Jun 10, 2026Updated 4 months 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.
- ☆21Sep 27, 2019Updated 7 years ago
- My GitHub profile page☆14Dec 26, 2025Updated 10 months ago
- A pool of workers operating on a single set of mio connections☆11Dec 4, 2018Updated 7 years ago
- Deprecated! Use qemu-rs instead :)☆73Dec 19, 2023Updated 2 years ago
- Rust library for Intel TDX☆37Aug 26, 2026Updated 2 months ago
- A small experimental microkernel for embedded systems☆23Aug 23, 2022Updated 4 years ago
- fast parallel file copy for Plan 9☆15Nov 2, 2023Updated 3 years ago
- A weekly dive into commonly used modules in the Rust ecosystem, with story flavor!☆20Aug 18, 2021Updated 5 years ago
- ☆65Aug 6, 2026Updated 2 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- oasis, but with kiss aswell☆14Updated this week
- A MPMC channel based on the two lock queue algorithm☆15Oct 4, 2017Updated 9 years ago
- Go B Compiler, a working B compiler that is fully compliant with B, with nice warnings and errors, configurable via standard flags like -…☆15Oct 12, 2025Updated last year
- sptr: The Strict Provenance Polyfill☆78Oct 7, 2023Updated 3 years ago
- Using various tools to rediscover popsicle exploit☆15Mar 10, 2022Updated 4 years ago
- Heap profiling and ad hoc profiling for Rust programs.☆1,013Feb 20, 2025Updated last year
- Serde serializer for generating Starlark build targets☆73Jun 24, 2026Updated 4 months ago