A library for the provisioning of basic system services on seL4.
☆10Feb 15, 2021Updated 5 years ago
Alternatives and similar repositories for libsel4osapi
Users that are interested in libsel4osapi are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Eclipse Pullpiri provides efficient vehicle service orchestrator framework to realize the potential benefits of cloud native technologies…☆14Oct 21, 2026Updated 3 weeks ago
- ☆12Sep 10, 2021Updated 5 years ago
- OpenTour: Sistema para la creación y gestión de torneos y ligas universitarias☆11Sep 10, 2021Updated 5 years ago
- FormulaOnePredictionBot is a telegram bot for groups to try to predict Sunday's podium.☆12Nov 20, 2022Updated 3 years ago
- Plantilla para crear documentación de los talleres del aula☆14Oct 25, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Crypto Side Channel Attack (CSCA)☆18Jul 18, 2018Updated 8 years ago
- 40% Split Ortholinear Keyboard with Kailh Choc sockets and OLED☆10May 26, 2019Updated 7 years ago
- This is an attempt to implement Spectre on ARMv7☆26Jun 4, 2018Updated 8 years ago
- Extensible Universal Message Processor☆10Jun 25, 2009Updated 17 years ago
- Frontend Code Test☆13Apr 10, 2023Updated 3 years ago
- Gestor de actividades en grupo☆18Nov 3, 2026Updated last week
- Inkscape plugin for generating GCODE for 3D Printers to draw something☆11Apr 18, 2021Updated 5 years ago
- Zephyr repository tracking https://github.com/CANopenNode/CANopenNode☆14Apr 7, 2026Updated 7 months ago
- 0MQ virtual protocol drivers☆14Sep 22, 2011Updated 15 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- RISC-V Linux for Keystone Enclave (will be deprecated in the future versions. See https://github.com/keystone-enclave/linux-keystone-driv…☆16Apr 3, 2019Updated 7 years ago
- An example project of an LED controller which demonstrates the use of mocks.☆10Oct 4, 2012Updated 14 years ago
- collection of wii-related Qt/C++ stuff☆11Jul 19, 2024Updated 2 years ago
- Client - Plattform independent for the Charon UDS Server (ISO 14229)☆11Mar 23, 2023Updated 3 years ago
- AIC8800 Wifi Driver for linux☆12Oct 12, 2026Updated 3 weeks ago
- Snap Joint Calculator is simple program to calculate parameters and forces of cantilever, annular and torsional snap joint during design …☆10Mar 16, 2022Updated 4 years ago
- Google One Tap authentication strategy for Passport.☆21Jun 7, 2023Updated 3 years ago
- An associative-array library written in C.☆15Jul 9, 2021Updated 5 years ago
- ☆16Oct 29, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 8 years ago
- Emscripten based web port of Mupen64plus N64 Emulator☆16Mar 21, 2018Updated 8 years ago
- Allows you to change your osu! background without supporter status!☆11Aug 21, 2017Updated 9 years ago
- Reverse engineering of splix.io protocol☆11Sep 14, 2017Updated 9 years ago
- Architectural Framework For Integrated Refinement Modeling☆11May 30, 2017Updated 9 years ago
- Sensate Firmware for the popular ESP8266 (NodeMCU, ESP-12, WeMos D1...)☆15Aug 6, 2021Updated 5 years ago
- klibc Verification with Frama-C and WP☆11May 5, 2014Updated 12 years ago
- ☆25Apr 25, 2021Updated 5 years ago
- MSPDev (NoccyLabs)☆16Aug 3, 2012Updated 14 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆10Jun 13, 2023Updated 3 years ago
- A conceptual framework for designing, evaluating and governing AI systems under uncertainty. Early-stage reference for the Uncertainty Ar…☆20Updated this week
- Example projects showing how to generate code from state machines using the Sinelabore code generator.☆19Updated this week
- A virtual green screen using the Kinect for Windows or Kinect for Xbox 360 (v1).☆14Jun 3, 2018Updated 8 years ago
- ROCm Website☆32Jun 6, 2023Updated 3 years ago
- A low-cost portable CAN(Controller Area Network ) adapter.☆17Feb 20, 2025Updated last year
- FRC On-The-Fly Pathfinding☆15Feb 28, 2026Updated 8 months ago
Are these results useful?