Highlights
- Pro
Stars
A lightweight reactor runtime targeted at distributed resource-constrained embedded systems
A Github Action for installing the Lingua Franca toolchain
git clone from https://gnunet.org/svn/libmicrohttpd/
Documentation and code for Hack the MontyHome device for extended applications.
Reactors for scientific computing, machine learning, robotics, mechatronics and automation.
A binary distribution of the GNU RISC-V Embedded GCC toolchain
Eclipse BlueChi is a systemd service controller intended for multi-node environments with a predefined number of nodes and with a focus on highly regulated ecosystems such as those requiring functi…
Template for Lingua Franca projects using Zephyr as a target platform
zenoh unifies data in motion, data in-use, data at rest and computations. It carefully blends traditional pub/sub with geo-distributed storages, queries and computations, while retaining a level of…
Kalman Filter book using Jupyter Notebook. Focuses on building intuition and experience, not formal proofs. Includes Kalman filters,extended Kalman filters, unscented Kalman filters, particle filte…
Empowering everyone to build reliable and efficient software.
Patmos is a time-predictable VLIW processor, and the processor for the T-CREST project
Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers
A tiny hand crafted CPU emulator, C compiler, and Operating System
QP/C Real-Time Event Framework/RTOS is a lightweight implementation of the asynchronous, event-driven Active Object (Actor) model and Hierarchical State Machines.
Miking - the meta viking: a meta-language system for creating embedded languages
A high-level distributed programming framework for Rust
TLA+ language support for Visual Studio Code