DLR-FT / seL4-nix-utilsView external linksLinks
Nix tooling for the seL4 microkernel & ecosystem
☆14Dec 12, 2025Updated 2 months ago
Alternatives and similar repositories for seL4-nix-utils
Users that are interested in seL4-nix-utils are comparing it to the libraries listed below
Sorting:
- ☆11Sep 6, 2025Updated 5 months ago
- Component Architecture test suite and example apps.☆32Aug 15, 2025Updated 6 months ago
- Vector Bazel Rules and Toolchains☆14Jan 26, 2026Updated 2 weeks ago
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆43Updated this week
- d-EVD-dual-electric-vehicle-dataset☆12Aug 21, 2025Updated 5 months ago
- A virtual machine monitor for the seL4 microkernel☆52Updated this week
- ☆16Dec 22, 2025Updated last month
- ☆15Updated this week
- CARMA Streets is a component of CARMA ecosystem, which enables such a coordination among different transportation users. This component p…☆11Aug 21, 2025Updated 5 months ago
- AGX Dynamics for Unreal plugin.☆12Updated this week
- Site level energy system optimization model toolbox for investigations of EV fleet integration and management strategies☆13Apr 22, 2025Updated 9 months ago
- Microkit - A simple operating system framework for the seL4 microkernel☆172Updated this week
- The MobSTr dataset provides artifacts that demonstrate Model-based Safety Assurance and Traceability for a safety-critical automotive sys…☆10Mar 18, 2022Updated 3 years ago
- ☆18Jul 28, 2025Updated 6 months ago
- ☆11Dec 22, 2025Updated last month
- 🚗 Classic Diagnostic Adapter 🏥☆19Updated this week
- A scripting and animation runtime for the RAMSES rendering ecosystem☆10Jul 5, 2024Updated last year
- Predictive Unit Real-Time Information Service (PURIS) for Short Term Demand and Capacity Management☆20Updated this week
- uServices - Open Vehicle Interfaces☆13Aug 2, 2024Updated last year
- A multibody code for motorcycle simulation☆17Aug 14, 2025Updated 6 months ago
- ☆12Jan 29, 2026Updated 2 weeks ago
- ☆13Aug 7, 2025Updated 6 months ago
- PREEMPT_RT Linux for Real-time Edge Software☆12Dec 18, 2025Updated last month
- ☆12Sep 10, 2025Updated 5 months ago
- ☆14Jan 26, 2026Updated 2 weeks ago
- Provides train map foresight by processing mission profile, map regions and coupled localization data.☆10Apr 17, 2024Updated last year
- Is it difficult to develop C++ high-concurrency server applications? Come and use XServer☆10Jun 13, 2024Updated last year
- Traffic scenario definition and execution engine supporting OpenScenario 2.0☆13Dec 27, 2024Updated last year
- Academic page for LimSim++☆11Mar 19, 2024Updated last year
- Interface 2024年11月号 特集「ゼロから作るマルチコアOS」配布プログラム☆11Sep 30, 2024Updated last year
- A collection of software to connect TAP devices under Linux and Windows to the Vector SIL Kit☆11Feb 2, 2026Updated last week
- SOFA rendering asset for UE5☆15Oct 23, 2025Updated 3 months ago
- A minimal runtime for seL4 applications.☆14Mar 17, 2025Updated 10 months ago
- SETLevel: OSI / FMI compliant radar or lidar sensor system model, depending on parametrization.☆11Sep 30, 2024Updated last year
- Coqpit.vim brings the interactivity and asynchronous into your Vim and Neovim.☆10Nov 1, 2022Updated 3 years ago
- ☆12Apr 15, 2025Updated 10 months ago
- The Abstract Programming Language Interface (APLI) is a framework for generating Abstract Syntax Trees (ASTs) to enable developers to cre…☆13Oct 11, 2023Updated 2 years ago
- ☆11Jan 26, 2026Updated 2 weeks ago
- Basis of FragDenStaat.de's „Koalitionstracker“☆15Jul 14, 2025Updated 7 months ago