Blech is a language for developing reactive, real-time critical embedded software.
☆71May 10, 2022Updated 4 years ago
Alternatives and similar repositories for blech
Users that are interested in blech are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- URDF/SDF to to Modelica model converter.☆17Dec 14, 2018Updated 7 years ago
- An embedded synchronous reactive language, a la reactiveML, for Racket.☆13Dec 29, 2018Updated 7 years ago
- Integrating functional mock-up units (FMUs) in ROS nodes☆50May 21, 2026Updated 2 months ago
- First two front-end phases of a language-independent compiler implemented in C++☆14Jul 27, 2020Updated 5 years ago
- ctrlX AUTOMATION Software Development Kit for ROS 2☆31Apr 15, 2026Updated 3 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Lore is a general-purpose programming language featuring multi-functions, structs and traits, a static type system with sum and intersect…☆18May 19, 2023Updated 3 years ago
- Enables co-simulation with FMU models via the coupling library preCICE☆15Updated this week
- Website of System Structure and Parameterization (SSP) of components for virtual system design standard☆14May 5, 2026Updated 2 months ago
- Specification of the FMI Layered Standard for XCP☆16Feb 10, 2026Updated 5 months ago
- An implementation of schedulability tests for non-preemptive job sets, for uni- and global multiprocessors, with precedence constraints.☆10Jul 5, 2026Updated 2 weeks ago
- <charconv> from Microsoft STL, but multi-platform☆38Mar 28, 2025Updated last year
- SSP Layered Standard Traceability☆15Sep 4, 2025Updated 10 months ago
- Deprecated package (use instead Modia.jl)☆20Jul 28, 2021Updated 4 years ago
- Numerical snippets & tests☆12Jan 5, 2026Updated 6 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.
- The mbeddr core. An extensible C☆232Updated this week
- Regression Testing for Terminal UIs☆13Updated this week
- Deprecated package (use instead Modia.jl)☆20Jul 28, 2021Updated 4 years ago
- Bits and pieces posted on LinkedIn☆13Feb 22, 2025Updated last year
- A tool to extract RTTI information from Delphi executables, written in pure Python☆24Mar 11, 2020Updated 6 years ago
- FMI import plugins for the Gazebo Simulator.☆25Oct 30, 2020Updated 5 years ago
- ☆12Jan 12, 2022Updated 4 years ago
- A computationally efficient and robust LiDAR-inertial odometry (LIO) package☆13Aug 4, 2025Updated 11 months ago
- Robotics in Python☆13Feb 21, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Specification of System Structure and Parameterization (SSP)☆24Jul 13, 2026Updated last week
- A set of FMUs for development, testing and debugging☆20Feb 12, 2020Updated 6 years ago
- A set of Matlab scripts plus a Simulink S-Function Block Library to implement Numerical Inverse Kinematics☆13Mar 25, 2023Updated 3 years ago
- My own programming language targeting .NET☆17Jun 25, 2025Updated last year
- The LuaLaTeX package piton☆15Updated this week
- openxilenv☆22Updated this week
- A template project to build a C++/CMake/vcpkg based projects with IDE and GitHub Actions. Build is speed up with caching of artifacts.☆13May 24, 2022Updated 4 years ago
- ROS safety working group repository☆40Jan 31, 2022Updated 4 years ago
- Scientific Data Format☆23Jul 10, 2017Updated 9 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Optimization of Modelica models☆21Jan 2, 2026Updated 6 months ago
- A 1014 Byte ELF64/DOS.COM/GameBoy/Megadrive/PDF/ARJ/PKZIP/7zip Polyglot Binary☆13Sep 8, 2022Updated 3 years ago
- A fully featured tool that makes learning vocabulary easier and more enjoyable than ever before.☆15Jun 2, 2023Updated 3 years ago
- Core algorithms for equation-based modeling☆10Feb 13, 2026Updated 5 months ago
- Specification of the FMI Layered Standard for Network Communication☆28Updated this week
- Search, check, and autofix your BibTex files!☆27Aug 11, 2025Updated 11 months ago
- loading and running fmi-standard FMUs in dotnet core☆29Sep 21, 2024Updated last year