Nix tooling for the seL4 microkernel & ecosystem
☆15Dec 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 6 months ago
- Component Architecture test suite and example apps.☆34Aug 15, 2025Updated 6 months ago
- Vector Bazel Rules and Toolchains☆14Feb 18, 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…☆45Updated this week
- d-EVD-dual-electric-vehicle-dataset☆12Aug 21, 2025Updated 6 months ago
- A virtual machine monitor for the seL4 microkernel☆53Updated this week
- ☆15Feb 10, 2026Updated 3 weeks ago
- Site level energy system optimization model toolbox for investigations of EV fleet integration and management strategies☆13Apr 22, 2025Updated 10 months ago
- ☆17Updated 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 6 months ago
- AGX Dynamics for Unreal plugin.☆12Feb 27, 2026Updated last week
- Microkit - A simple operating system framework for the seL4 microkernel☆174Updated this week
- uServices - Open Vehicle Interfaces☆13Aug 2, 2024Updated last year
- ☆18Jul 28, 2025Updated 7 months ago
- ☆12Jan 29, 2026Updated last month
- Predictive Unit Real-Time Information Service (PURIS) for Short Term Demand and Capacity Management☆21Feb 17, 2026Updated 2 weeks ago
- 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
- 🚗 Classic Diagnostic Adapter 🏥☆20Updated this week
- ☆11Dec 22, 2025Updated 2 months ago
- A scripting and animation runtime for the RAMSES rendering ecosystem☆10Jul 5, 2024Updated last year
- A multibody code for motorcycle simulation☆17Aug 14, 2025Updated 6 months ago
- PREEMPT_RT Linux for Real-time Edge Software☆13Dec 18, 2025Updated 2 months ago
- A minimal runtime for seL4 applications.☆14Mar 17, 2025Updated 11 months ago
- ☆14Feb 25, 2026Updated last week
- Customer Action for LabVIEW CI/CD☆13Sep 6, 2025Updated 6 months ago
- ☆12Apr 15, 2025Updated 10 months ago
- Coqpit.vim brings the interactivity and asynchronous into your Vim and Neovim.☆10Nov 1, 2022Updated 3 years ago
- Interface 2024年11月号 特集「ゼロから作るマルチコアOS」配布プログラム☆11Sep 30, 2024Updated last year
- A library of fast and accurate low fidelity dynamic models for applications in robotics☆11Jul 12, 2024Updated last year
- Is it difficult to develop C++ high-concurrency server applications? Come and use XServer☆10Jun 13, 2024Updated last year
- ☆12Sep 10, 2025Updated 5 months ago
- Academic page for LimSim++☆11Mar 19, 2024Updated last year
- Omega-Prime: Data Model, Data Format and Python Library for Handling Ground Truth Traffic Data☆17Feb 27, 2026Updated last week
- 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
- ☆11Updated this week
- A Modified gem5 for Simulating Virtualized Systems☆11Mar 1, 2015Updated 11 years ago
- A collection of software to connect TAP devices under Linux and Windows to the Vector SIL Kit☆11Updated this week
- Traffic scenario definition and execution engine supporting OpenScenario 2.0☆12Dec 27, 2024Updated last year
- Repository to store mkdocs based documentation for the Open AD Kit☆12Jan 19, 2026Updated last month