Reference Operating system based on seL4 --- example code
☆23Mar 17, 2025Updated last year
Alternatives and similar repositories for refos-manifest
Users that are interested in refos-manifest are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Prototype no-assurance reference OS personality built on seL4☆51Mar 17, 2025Updated last year
- musl: A C standard library☆19Apr 20, 2026Updated 6 months ago
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆27Updated this week
- ilo nanpa li ilo pi nasin nanpa pi toki pona.☆13Jan 15, 2019Updated 7 years ago
- Component Architecture test suite and example apps.☆36Updated this week
- 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.
- ☆19Oct 30, 2026Updated last week
- Extended globbing in modern C++☆15Dec 24, 2025Updated 10 months ago
- Green SqlAlchemy extensions for pulsar☆12Nov 24, 2017Updated 8 years ago
- Handbrake on Kubernetes☆22Jan 28, 2023Updated 3 years ago
- Provides a suite of scripts for automating the building, deployment, managing and testing of IPOP☆11Feb 9, 2020Updated 6 years ago
- a free welder☆20Mar 25, 2020Updated 6 years ago
- Experimental Ganeti extstorage provider for ZFS volumes☆10Oct 16, 2014Updated 12 years ago
- A library for the provisioning of basic system services on seL4.☆10Feb 15, 2021Updated 5 years ago
- ☆10Jun 13, 2023Updated 3 years ago
- 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.
- Disable baseband firmware signature on Sony Xperia SP & Samsung s7275r☆11Apr 17, 2017Updated 9 years ago
- ☆11Jun 23, 2013Updated 13 years ago
- XPN's RpcEnum but based on IDA instead of Ghidra☆20Aug 17, 2019Updated 7 years ago
- CL nanomsg bindings☆12Jul 26, 2014Updated 12 years ago
- Turn a generator into a coroutine with decorators!☆16Apr 15, 2014Updated 12 years ago
- Rust firewall for seL4☆11Jun 20, 2018Updated 8 years ago
- Mine XMR on basically any device ever☆10Aug 15, 2024Updated 2 years ago
- PoC code for CVE-2018-9539☆20Nov 11, 2018Updated 7 years ago
- Various scripts for compiling Android☆13Nov 9, 2014Updated 11 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.
- simple execution environment for STM32F10x☆12Sep 17, 2013Updated 13 years ago
- ⚒ (I'm dead) A super tiny chrome extension making your Github news feed more organized.☆16Mar 6, 2017Updated 9 years ago
- Using RabbitMQ with Protobuf serialization between Java and Perl (simple example)☆17May 14, 2014Updated 12 years ago
- am_fft.h - A single-header library for power-of-two sized 1D and 2D FFTs☆31Feb 5, 2018Updated 8 years ago
- A toy nanopass compiler for x86 written in lean☆15Oct 25, 2025Updated last year
- A MPD controller for Vim☆13Aug 7, 2010Updated 16 years ago
- Execute Unix shell commands in Markdown documentation as tests.☆14Aug 1, 2019Updated 7 years ago
- A hacky clang analyzer checker that looks for potentially exploitable kernel integer overflows.☆20May 13, 2018Updated 8 years ago
- You can use ropper to display information about files in different file formats and you can find gadgets to build rop chains for differen…☆12Jun 7, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- macOS application that makes use of the EndpointSecurity framework☆19Aug 1, 2019Updated 7 years ago
- seL4 Device Driver Framework☆23Dec 7, 2023Updated 2 years ago
- Repository containing the gateway plugins.☆18May 16, 2026Updated 5 months ago
- Docker Base Images (Centos/Alpine/Ubuntu)☆14Jan 18, 2019Updated 7 years ago
- Tiny templating language written in Scala.☆10Nov 20, 2012Updated 13 years ago
- scala pandoc wrapper☆10Jan 5, 2014Updated 12 years ago
- ☆15Sep 26, 2024Updated 2 years ago