sel4webserver

An seL4 reference webserver application

Stars

6

Forks

5

Language

CMake

Last Updated

Apr 16, 2024

Similar Repos
Repo Language Stars Description Updated At
None 19 Reference Operating system based on seL4 --- example code Jun 30, 2021
C 36 Prototype no-assurance reference OS personality built on seL4 May 04, 2022
Ruby 2 reference implementation of webserver systems May 27, 2023
C 3576 The seL4 microkernel Aug 30, 2022
None 21 The seL4 microkernel Feb 21, 2023
C 2 The seL4 microkernel May 10, 2023
PLpgSQL 4 Haskell Webserver for Zotero reference manager - based on Zotero. Jan 26, 2023
Dockerfile 5 Simple IOx Application: Nginx webserver Feb 09, 2023
Python 4 seL4 Core Platform - A simple operating system for the seL4 microkernel Apr 20, 2023
Python 2 seL4 Core Platform - A simple operating system for the seL4 microkernel Sep 21, 2023
TypeScript 4 Reference Application Mar 03, 2023
Isabelle 407 seL4 specification and proofs Jul 26, 2022
Rust 8 Rust firewall for seL4 Jan 18, 2022
Promela 2 The seL4.systems website Apr 07, 2022
C 17 Test suite for seL4. Mar 08, 2022
Shell 26 Integrate WasmEdge with seL4 Jul 27, 2022
C 13 seL4 Device Driver Framework Mar 09, 2023
Java 4 Users Reference Application Dec 15, 2022
C# 3 A lightweight C# Webserver & Web Application Framework Nov 04, 2022
Python 3 Application webserver with emphasis on geodata processing Nov 04, 2022
CMake 3 Dependencies for libroadrunner Jan 07, 2022
CMake 3 Demonstration of how you might use CRoaring as a CMake dependency as a subdirectory Oct 11, 2020
CMake 3 CMakeLists Generating Xcode Project with OpenMP Support Feb 23, 2022
    google-test
CMake 4 None Apr 30, 2022
CMake 4 This is a baseline template for creating projects for the M5Stack Core2 for AWS IoT … May 16, 2022
    rm_description
CMake 4 None May 13, 2022
CMake 4 Smart pointers for the (GNU) C programming language Mar 17, 2022
CMake 4 modelbox manual. Modelbox手册。 Mar 02, 2022
CMake 4 A sample mruby/c project for RaspberryPi Pico Jun 05, 2022
CMake 4 Modern C++ command line tool template Jan 25, 2022
CMake 4 游戏手柄控制框架，仿《王者荣耀》 Sep 03, 2021
CMake 4 Provides a template setup for students at the Hogeschool Utrecht who want to use the … Mar 01, 2017
    quick_tutorial
CMake 4 None Apr 19, 2021
CMake 4 Build OpenSSL with CMake on Linux, MacOS, Win32, Win64 Jan 13, 2022
CMake 4 Ready To Use CMake Configurations Aug 07, 2022
    luadebugger
CMake 4 None Dec 26, 2021
CMake 4 Taurob tracker setup for Gazebo simulation as used by Team Hector. This might depend on … Feb 07, 2022
CMake 4 Taurob tracker related common files (including URDF model) analogous to pr2_common Jul 24, 2021
CMake 4 Modulation and Demodulation blocks for the M17 digital voice protocol Apr 08, 2022
CMake 4 ros navigation costmaps, launchfiles and example maps for neobotix robots Apr 29, 2021
CMake 4 Open package for ColoRadar Dataset custom ros msgs Jul 19, 2022
CMake 4 A logging library based on the miniglog library found in ceres-solver @ https://code.google.com/p/ceres-solver/ Aug 06, 2021
CMake 4 A repo that gets you started to implement projection mapping Oct 15, 2021
CMake 4 How-to demonstrating integration of binary or-tools package from Google with cmake May 15, 2022
CMake 4 simple c++ code for ROS Node <-> Non-Ros socket communication program Using Google Protobuf. Apr 14, 2022
CMake 4 Build Lua for Unreal Engine 4 with Jenkins Pipeline. Jul 21, 2022
CMake 4 Math library developed primarily for deep learning using C++ Jul 24, 2020
    org.kde.krita
CMake 4 None Jan 14, 2022
    UdemyCppPro_Template
CMake 4 None May 08, 2022
    example-standalone-inferencing-zephyr
CMake 4 None Jul 31, 2022