A kernel for ProkaOS
☆13Nov 8, 2026Updated this week
Alternatives and similar repositories for proka-kernel
Users that are interested in proka-kernel are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Linux binary-compatible OS kernel written in rust☆16Jun 30, 2026Updated 4 months ago
- Twilight OS is a new modern, Experimental Unix-Like operating system & monolithic OS design with linux binary compatibility and MacOS lik…☆23Oct 12, 2026Updated last month
- An implementation of the Bussin esoteric language☆11Oct 2, 2024Updated 2 years ago
- zalloc is a safety- and security-oriented wrapper around malloc.☆11May 24, 2021Updated 5 years ago
- Simple music player for Linux wrapping mpv☆18Nov 6, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Self-hosted two-way file sync for server, desktop and Android that shows you the plan before it moves anything: a state database, a trash…☆33Updated this week
- A unified library of SOTA model optimization techniques like quantization, pruning, distillation, speculative decoding, etc. It compresse…☆12Updated this week
- A research operating system that runs WebAssembly as the primary execution environment on bare metal☆17Apr 12, 2026Updated 7 months ago
- Pasta Devops - Self-host dockerized applications and deploy projects on VPS☆11Jan 12, 2026Updated 10 months ago
- The download manager that downloads everything: hosters, debrid, torrents, Usenet and videos, self-hosted and actually nice to look at.☆27Updated this week
- Deterministic chemistry validator — formula parsing, molar mass, reaction balance (atoms + charge). Pure Python stdlib.☆14Jul 8, 2026Updated 4 months ago
- Talk to Cargo easily at build time☆19Feb 16, 2024Updated 2 years ago
- an opensource operating system made for fun☆220Oct 28, 2026Updated 2 weeks ago
- ELF-parsing library written in OCaml for OCaml☆14May 30, 2012Updated 14 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A collection of useful and reusable shell scripts for automation and productivity.☆10Aug 20, 2025Updated last year
- An Enterprise Framework for Web with a goal-oriented approach to building web systems fast using Ajax and server-side JavaScript, provid…☆32Nov 6, 2026Updated last week
- rusty_alloc is the worlds first Unified Allocator. A pure-Rust, memory safe alternative to mimalloc with unified performance across x86-6…☆19Updated this week
- A C++ multi-dimensional tensor library with automatic gradient tracking and CUDA acceleration.☆13Aug 9, 2026Updated 3 months ago
- ☆17Updated this week
- Tg-rCore (Tangramized rCore Tutorial)☆10Apr 24, 2026Updated 6 months ago
- FiwixOS is a Fiwix distribution, an operating system made from a software collection that is based upon the Fiwix kernel.☆29Updated this week
- A simple and minimalist programming language dedicated to developing small simulations and games (compiles to C++)☆20Oct 25, 2026Updated 2 weeks ago
- Honkai: Star Rail Protobufs & CmdIds☆20Oct 21, 2026Updated 3 weeks 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.
- A tool for building and bootstrapping operating systems☆15Nov 1, 2026Updated last week
- MiHoYo API TypeSpec SDK☆25Sep 14, 2026Updated 2 months ago
- mee6 but its foss☆13Mar 3, 2021Updated 5 years ago
- Terminal User Interface for productivity. Track your working session, label them and review the data.☆15Oct 28, 2026Updated 2 weeks ago
- 64-bit SMP-enabled operating system targeting x86_64 and aarch64☆30Oct 25, 2026Updated 2 weeks ago
- Publicly released test cases and evaluation scripts for the DARPA TRACTOR program☆17Sep 14, 2026Updated 2 months ago
- A simple Hello World for x86_64 UEFI using fasmg☆29Aug 22, 2016Updated 10 years ago
- The image viewer on the terminal is based on the xterm standard.☆13Jul 24, 2023Updated 3 years ago
- Vagrant file and support to create FreeBSD vagrant boxes with a simple `vagrant up`☆12Jun 15, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A powerful Telegram bot that converts audio and video files to text using advanced speech recognition technology☆13Oct 19, 2025Updated last year
- A Rust interface to the x2apic interrupt architecture.☆17Nov 7, 2026Updated last week
- AeroSync is a modern 64-bit x86_64 monolithic kernel☆13Apr 26, 2026Updated 6 months ago
- Simple OS writen on Go☆18Jun 9, 2015Updated 11 years ago
- Squawk is a dynamic browser-based game inspired by the classic gameplay known from Slither.io, where you control a snake-parrot and compe…☆14Updated this week
- Small Unix like operating system written in C, for i386 (PC) CPU☆11Apr 3, 2018Updated 8 years ago
- Protocol Buffers for a certain turn-based anime game☆14Apr 8, 2025Updated last year
Are these results useful?