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
- ☆18Sep 18, 2026Updated last week
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆26Updated this week
- Another Template Meta Programming Library☆16Mar 15, 2017Updated 9 years ago
- An nginx module to prevent generic compression oracles☆10Apr 24, 2026Updated 5 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Component Architecture test suite and example apps.☆36Jul 22, 2026Updated 2 months ago
- correlate an SPI capture of an AMD boot procedure to the PSP firmware components☆17Jan 13, 2026Updated 8 months ago
- [DEFUNCT - do not use, insecure!] Communication for the 21st century activist.☆16Sep 18, 2026Updated last week
- ☆10Jul 24, 2017Updated 9 years ago
- scrypt based password manager☆11Dec 14, 2019Updated 6 years ago
- PoC code for CVE-2018-9539☆20Nov 11, 2018Updated 7 years ago
- ☆31Jul 24, 2016Updated 10 years ago
- A chrome extension that enables automatic encrypting and decryption of GPG messages over the web☆18Apr 29, 2016Updated 10 years ago
- ☆16Apr 11, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Fish shell plugin for fzf git bindings☆10Dec 13, 2021Updated 4 years ago
- raindrop detection on a windshield☆13Feb 1, 2024Updated 2 years ago
- ☆11Feb 15, 2016Updated 10 years ago
- Implementation of all eSTREAM Profile 1 algorithms.☆17May 14, 2013Updated 13 years ago
- An Android port of the general purpose honggfuzz fuzzer☆19Aug 20, 2015Updated 11 years ago
- Small utility to wait for a process to finish☆17Jul 5, 2025Updated last year
- Using RabbitMQ with Protobuf serialization between Java and Perl (simple example)☆17May 14, 2014Updated 12 years ago
- sbt plugin to upload SCIP indexes to Sourcegraph for precise code intelligence☆16Jun 2, 2026Updated 3 months ago
- MOVED to code.netzhansa.com/hanshuebner/bknr-web. This GitHub mirror is archived.☆17Aug 7, 2017Updated 9 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.
- Client for melissi project. Currently linux only☆10Sep 23, 2011Updated 15 years ago
- Catalog of mechanisms used to onboard IoT devices☆17Oct 1, 2020Updated 5 years ago
- OpenLeap's website☆18Aug 21, 2013Updated 13 years ago
- Graphlib is a C Library for Graph. Importing this will provide Graph API to extent to applications.☆12Mar 2, 2018Updated 8 years ago
- Python library for accessing NearlyFreeSpeech.net's API☆16Jun 18, 2018Updated 8 years ago
- A lightweight TUIO server for Leap Motion☆19Jun 29, 2013Updated 13 years ago
- A hacky clang analyzer checker that looks for potentially exploitable kernel integer overflows.☆20May 13, 2018Updated 8 years ago
- libdkim++ is a lightweight and portable DKIM (RFC6376) library for *NIX, supporting both signing and DMARC/ARC/SDID verification, sponsor…☆18Jul 27, 2026Updated 2 months 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 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.
- ☆15Sep 26, 2024Updated 2 years ago
- DEPRECATED, use https://github.com/mozilla/mod_authnz_persona instead. An Apache module that implements BrowserID authentication☆19Dec 12, 2013Updated 12 years ago
- tools for discovering things about user@host. for now, only webfinger and fakefinger are supported.☆18May 7, 2019Updated 7 years ago
- Execute Unix shell commands in Markdown documentation as tests.☆14Aug 1, 2019Updated 7 years ago
- Fork of the Solidity Compiler for compiling Solidity to IELE☆16Jan 14, 2022Updated 4 years ago
- ☆20May 10, 2025Updated last year
- A programming environment for Minecraft☆14Aug 5, 2022Updated 4 years ago