An operating system written in Rust
☆124Oct 15, 2021Updated 4 years ago
Alternatives and similar repositories for SteinsOS
Users that are interested in SteinsOS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An OS kernel written in rust. Non POSIX☆811Jul 25, 2025Updated 7 months ago
- stylesheet for Tkinter☆16Sep 4, 2024Updated last year
- ☆12Apr 28, 2021Updated 4 years ago
- Restoration of The Linux Scheduler Simulator (LinSched)☆18Aug 23, 2021Updated 4 years ago
- My hobby operating system microkernel written in Rust☆46Sep 15, 2025Updated 6 months ago
- An immutable singly-linked list, as seen in basically every functional language☆31Mar 3, 2023Updated 3 years ago
- A Raspberry Pi OS Kernel in Rust☆37Oct 22, 2024Updated last year
- A high-performance task scheduling system developed in Rust using Tokio, supporting task persistence, repeatable tasks, and Cron-based sc…☆23Mar 15, 2025Updated last year
- A connection pool implementation for tokio☆23Apr 17, 2018Updated 7 years ago
- Benchmarks for Pedersen hash implementations☆12Nov 22, 2022Updated 3 years ago
- Draft documents for standardization of Plonkish arithmetization☆23Mar 15, 2024Updated 2 years ago
- Mini-game built on a functional style☆13Jul 2, 2022Updated 3 years ago
- ☆13Feb 25, 2026Updated 3 weeks ago
- Enarx Keep Loader☆15Oct 25, 2021Updated 4 years ago
- Experimental comparators for collections to be generic over☆17Apr 29, 2024Updated last year
- ☆13Jul 26, 2021Updated 4 years ago
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Jan 1, 2023Updated 3 years ago
- The virtual console embedded in rCore kernel.☆11May 6, 2025Updated 10 months ago
- Proving historical Ethereum transactions using the Plonky2 zkEVM☆14Jul 26, 2024Updated last year
- Common protocol for generating ZK proofs for blocks on different blockchains.☆10Feb 9, 2024Updated 2 years ago
- interative assembly shell written in rust☆357Apr 12, 2025Updated 11 months ago
- simplified rust error handling☆10Mar 31, 2025Updated 11 months ago
- A Minimal f.lux/redshift alternative☆14Aug 11, 2018Updated 7 years ago
- Read input lines as byte slices for high efficiency☆69Jan 5, 2024Updated 2 years ago
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆28Nov 7, 2023Updated 2 years ago
- 🗑 async-dropper is probably the least-worst ad-hoc AysncDrop implementation you've seen so far.☆51Nov 28, 2024Updated last year
- Asynchronous Linux SocketCAN sockets with tokio☆37May 9, 2023Updated 2 years ago
- CI scripts for systemd upstream/downstream testing using the CentOS CI infrastructure☆12Nov 25, 2025Updated 3 months ago
- Quacee quantum computing language☆11Mar 16, 2017Updated 9 years ago
- Paging Debug tool for GDB using python☆13Jun 4, 2022Updated 3 years ago
- 100% legal, FOSS reimplementation of Cubism Core☆11Mar 9, 2023Updated 3 years ago
- Kicad Library to pretify your schematic with pride flags.☆16Nov 13, 2022Updated 3 years ago
- My os thingy☆10Mar 28, 2022Updated 3 years ago
- Process killer daemon for out-of-memory scenarios☆245Nov 11, 2025Updated 4 months ago
- Python Image Search Engine with OpenCV☆46Jan 2, 2018Updated 8 years ago
- Maestro operating system's package manager☆30Mar 17, 2026Updated last week
- ☆18Mar 16, 2026Updated last week
- WASM/JS clone of wabt's wat2wasm☆29Apr 5, 2022Updated 3 years ago
- Tiny dynamic dispatch in Rust☆10Apr 17, 2023Updated 2 years ago