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:
- Reimplementación nativa y ligera de AutoFirma en Rust (Tauri) y React, sin dependencia de JRE.☆46Updated this week
- ☆12Sep 10, 2021Updated 5 years ago
- Crypto Side Channel Attack (CSCA)☆18Jul 18, 2018Updated 8 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Plantilla para crear documentación de los talleres del aula☆14Oct 25, 2025Updated 11 months 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
- Inkscape plugin for generating GCODE for 3D Printers to draw something☆11Apr 18, 2021Updated 5 years ago
- ☆16Oct 5, 2026Updated 2 weeks ago
- 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
- 0MQ virtual protocol drivers☆14Sep 22, 2011Updated 15 years ago
- Gestor de actividades en grupo☆18Dec 22, 2025Updated 10 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- An associative-array library written in C.☆15Jul 9, 2021Updated 5 years ago
- Allows you to change your osu! background without supporter status!☆11Aug 21, 2017Updated 9 years ago
- collection of wii-related Qt/C++ stuff☆11Jul 19, 2024Updated 2 years ago
- Google One Tap authentication strategy for Passport.☆21Jun 7, 2023Updated 3 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 8 years ago
- Example projects showing how to generate code from state machines using the Sinelabore code generator.☆19Oct 5, 2026Updated 2 weeks ago
- Emscripten based web port of Mupen64plus N64 Emulator☆16Mar 21, 2018Updated 8 years ago
- Reverse engineering of splix.io protocol☆11Sep 14, 2017Updated 9 years ago
- A conceptual framework for designing, evaluating and governing AI systems under uncertainty. Early-stage reference for the Uncertainty Ar…☆20Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Sensate Firmware for the popular ESP8266 (NodeMCU, ESP-12, WeMos D1...)☆15Aug 6, 2021Updated 5 years ago
- 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
- ☆25Apr 25, 2021Updated 5 years ago
- ☆16Mar 17, 2025Updated last year
- A low-cost portable CAN(Controller Area Network ) adapter.☆17Feb 20, 2025Updated last year
- ☆19Mar 23, 2023Updated 3 years ago
- This repo contains a bootloader with fail-safe design. This is tiny bootloader which can run on arm device like STM32F0☆16Dec 3, 2019Updated 6 years ago
- RHme3 CTF writeups☆21Aug 6, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆19Updated this week
- This cFS app is called Diagnostic Reasoner (DR), and as the name implies, it will diagnose a system of interest. That is, it will do faul…☆12Jul 1, 2020Updated 6 years ago
- Converts Python code to Java code☆13Sep 11, 2019Updated 7 years ago
- TI TMS570 (ARM Cortex R4) embedded C firmware☆12Mar 9, 2024Updated 2 years ago
- FRC On-The-Fly Pathfinding☆15Feb 28, 2026Updated 7 months ago
- A formal proof of LaSalle's invariance principle☆12Feb 3, 2026Updated 8 months ago
- SE3 pose lib uses JPL quaternion representing rotation. Headers only.☆14Oct 25, 2018Updated 7 years ago