real-time-systems

Distributed C++ services from embedded to enterprise

Tracking conferences in Real-time Embedded Systems, Cyber-Physical Systems and Robotics!

Constant-time dynamic memory allocator in Rust

A comprehensive systems programming toolkit implementing low-level concepts in C, from memory management to OS internals. Features practical implementations of computer architecture concepts with a focus on performance and hardware interaction.

Real-time Actor-based Message Exchange Network 🍜

Tools for Patching the Rasbian kernel with RT-Preempt.

Modern C++ actor-based framework for building high-performance concurrent and distributed systems. Features asynchronous I/O, lock-free messaging, cross-platform support (Linux/macOS/Windows), and multi-core scaling. Perfect for real-time applications, microservices, and network servers.

4diac FORTE is a small portable implementation of an IEC 61499 runtime environment targeting small embedded control devices, implemented in C++.

🌀 Microkernel Real-Time Operating System in Rust

Really-Real Time FM Tone Transfer Audio Pluigin

SuperTinyKernel RTOS is a lightweight, high-performance, deterministic, bare-metal C++ RTOS for resource-constrained embedded systems based on ARM Cortex-M and RISC-V MCUs. Includes with x86 emulator. Suits systems with limited RAM/FLASH.

IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.

Discrete-time PID controllers in Julia

This repository houses a full-stack application which is used to create a real time stock price dashboard in Python, with the use of the streamlit and yfinance libraries.

EfficientNet-Absolute Zero for Continuous Speech Keyword Spotting

Coursera Development of Real-Time Systems Course Assignments

Event-driven simulator for preemptive scheduling of periodic DAG tasks on multi-core edge platforms: EDF across graphs, modified-HEFT upward rank within a graph, and the Priority Ceiling Protocol on shared resources.

This project demonstrates real-time data streaming and processing architecture using Kafka, Spark Streaming, and Debezium for capturing CDC (Change Data Capture) events. The pipeline collects transaction data, processes it in real time, and updates a dashboard to display real-time analytics for smartphone data.

Implementation of light baking system for ray tracing

The main LiME code repository