fork of prex.sourceforge.net, Prex is an open source, royalty-free, real-time operating system for embedded systems.
☆15Sep 4, 2026Updated last month
Alternatives and similar repositories for prex
Users that are interested in prex are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Doom classic port to lightweight RISC‑V☆11Jan 1, 2026Updated 9 months ago
- L2E llama2.c on Commodore C-64☆19Feb 22, 2025Updated last year
- Portable four-parameter vital signs monitor (ECG, SpO2, temperature, respiration) built on ESP32. Biomedical engineering bachelor's proje…☆18Jul 9, 2026Updated 3 months ago
- A Linux-only V4L2 mem2mem prototype for measuring the cost of a camera-to-userspace frame path: copies, queueing, context switches, sched…☆16May 7, 2026Updated 5 months ago
- Linux-native filesystem backed by DNS☆18Jul 9, 2026Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- AI-generated AOE Mini Game☆18Jul 4, 2026Updated 3 months ago
- An Affective Platform for AI in an Interdisciplinary Setting☆12May 25, 2026Updated 5 months ago
- OpenCC for Swift：內建完整字典、locale preset、自訂轉換器與 XML-compatible HTML 轉換的 SwiftPM 實作。☆25Oct 21, 2026Updated last week
- 32-bit two-instruction (SUBLEQ+MUX) VM that self-hosts Forth and compiles RISC-V to native code☆27Aug 6, 2026Updated 2 months ago
- ☆11Apr 12, 2026Updated 6 months ago
- MCP server that gives AI agents Frama-C: EVA, WP, and sandboxed ACSL iteration☆36Updated this week
- Distributed Earthquake Early Warning (EEW) system built on low-cost ESP32-C3 IoT sensors with Zero-Trust security, multi-node epicenter t…☆23Updated this week
- Play DOOM in modern terminals with Kitty Graphics Protocol☆51Sep 11, 2026Updated last month
- A simple multitasking OS kernel☆114Feb 4, 2026Updated 8 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Boot a real Linux kernel as an in-process library (LKL) and route intercepted syscalls to it via seccomp☆99Sep 29, 2026Updated last month
- A minimalist C implementation of the Lempel-Ziv 77 compression algorithm☆12Nov 24, 2025Updated 11 months ago
- Simple 3-stage pipeline RISC-V processor☆151Feb 24, 2026Updated 8 months ago
- a very fast headless DOS emulator for Linux☆30Mar 20, 2026Updated 7 months ago
- ☆15Aug 27, 2026Updated 2 months ago
- bootloader files for the Raspberry Pi 3, Pi 4 and Pi Zero 2 W (Pi 5 uses EEPROM)☆35Oct 16, 2026Updated 2 weeks ago
- grift is a no_std no_alloc no_unsafe lisp for bare-metal devices☆17Oct 2, 2026Updated 3 weeks ago
- xv6 OS☆16Jan 5, 2026Updated 9 months ago
- Generator Bootcamp Material: Learn Chisel the Right Way☆13Mar 22, 2026Updated 7 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.
- Adds more of the standard C/POSIX programming interface to Picolibc.☆15Feb 17, 2026Updated 8 months ago
- RTOS combining Linux rigor with Plan 9 simplicity, designed around SMP, real-time scheduling, and integrated networking.☆116May 14, 2026Updated 5 months ago
- A Go self-hosted FaaS with sandboxed code execution, timestamp-versioned scripts, and SSE streaming☆20Oct 6, 2026Updated 3 weeks ago
- ☆16Updated this week
- Run Arm64/x86-64 Linux ELF binaries on macOS Apple Silicon☆278Updated this week
- A proof-of-concept demonstrating how a default, unprivileged Kubernetes Pod can achieve node-level code execution on Amazon EKS by exploi…☆18May 8, 2026Updated 5 months ago
- The Oro OS CI/CD pipeline including PCBs, CAD files, firmware and server infrastructure☆13Jun 20, 2026Updated 4 months ago
- A simple serial console utility☆18May 4, 2026Updated 5 months ago
- Silico makes building maintainable firmware for embedded devices simple using AI.☆13Jul 31, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Enhanced version of rtenv: minimal real-time environment for ARM Cortex-M3☆26Mar 11, 2014Updated 12 years ago
- Linux DRM/KMS virtual display driver — streams the compositor's scanout zero-copy as a DMA-BUF straight into a hardware encoder. An EVDI …☆19Oct 23, 2026Updated last week
- SUPBUB is a tool that, in linear time, finds out superbubbles(special graph-structures) in a directed graph.☆12Sep 19, 2019Updated 7 years ago
- Local/open-source ForgeUI Studio for ESP32-P4 + LVGL 9. Active development has moved to ForgeUI Hosted Studio☆20Sep 10, 2026Updated last month
- Hardware and firmware for cashless payment device for cold drinks at the aeroclub at EDLH☆14Jul 22, 2026Updated 3 months ago
- NodeJS 中文開發指南，由 NodeJS Taiwan 社群建立的開放源碼電子書☆27Dec 14, 2011Updated 14 years ago
- A modern retro BASIC programming environment for learning coding and having fun☆26Updated this week