ROS 2 platform for underwater robotics research and development, forked from the the Blue Simulator based out of Oregon State's Robotic Decision. Updated for use by Bubble Robotics.

🦀 Small exercises to get you used to reading and writing Rust code!

Xronos revolutionizes robotics software — enabling reproducible behavior, timing control, and rapid root cause analysis through built-in observability.

Package manager and build tool for the Lingua Franca coordination language

An EDA toolchain for interval thermal simulations of 2D multi-/many-cores in an open system.

A Lean-based formalization of the Reactor model.

Return the greatest semantic version tag

Data determinism (LF) meets time determinism (FlexPRET).

A citation network explorer

Examples from the paper "Quantifying and Generalizing the CAP Theorem"

LF/FlexPRET project misc scripts

Accessors enable composing heterogeneous devices and services in the Internet of Things (IoT).