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☆18Apr 20, 2026Updated 5 months ago
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆26Updated this week
- ☆18Oct 11, 2026Updated last week
- Component Architecture test suite and example apps.☆36Jul 22, 2026Updated 2 months ago
- 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.
- a free welder☆20Mar 25, 2020Updated 6 years ago
- ☆31Jul 22, 2026Updated 2 months ago
- CL nanomsg bindings☆12Jul 26, 2014Updated 12 years ago
- Experimental Ganeti extstorage provider for ZFS volumes☆10Oct 16, 2014Updated 12 years ago
- [DEFUNCT - do not use, insecure!] Communication for the 21st century activist.☆16Sep 18, 2026Updated last month
- ☆10Jul 24, 2017Updated 9 years ago
- Apache NuttX RTOS in the Web Browser: TinyEMU with VirtIO☆28Mar 3, 2024Updated 2 years ago
- Server for the melissi project, the open source cloud storage platform☆13Sep 22, 2011Updated 15 years ago
- Exploit Android MSM8974 Chipset☆14Aug 20, 2015Updated 11 years ago
- 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.
- Mine XMR on basically any device ever☆10Aug 15, 2024Updated 2 years ago
- scrypt based password manager☆11Dec 14, 2019Updated 6 years ago
- Earn bitcoin by collecting environmental data.☆10Jan 2, 2017Updated 9 years ago
- MOVED to code.netzhansa.com/hanshuebner/bknr-web. This GitHub mirror is archived.☆17Aug 7, 2017Updated 9 years ago
- ☆16Jun 30, 2023Updated 3 years ago
- am_fft.h - A single-header library for power-of-two sized 1D and 2D FFTs☆31Feb 5, 2018Updated 8 years ago
- gh issues plugin for sbt☆10Jun 27, 2011Updated 15 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
- Allows docco style documentation generation for sbt☆13Aug 2, 2012Updated 14 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.
- Client for melissi project. Currently linux only☆10Sep 23, 2011Updated 15 years ago
- A hacky clang analyzer checker that looks for potentially exploitable kernel integer overflows.☆20May 13, 2018Updated 8 years ago
- sbt plugin to upload SCIP indexes to Sourcegraph for precise code intelligence☆16Jun 2, 2026Updated 4 months ago
- Automatically generated litmus tests for validation LISA-language Linux-kernel memory models☆33Aug 17, 2025Updated last year
- A toy nanopass compiler for x86 written in lean☆15Oct 25, 2025Updated 11 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
- ☆15Sep 26, 2024Updated 2 years ago
- Visual SPARQL query tool☆11Feb 26, 2016Updated 10 years ago
- OpenLeap's website☆18Aug 21, 2013Updated 13 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.
- tools for discovering things about user@host. for now, only webfinger and fakefinger are supported.☆18May 7, 2019Updated 7 years ago
- Python library for accessing NearlyFreeSpeech.net's API☆16Jun 18, 2018Updated 8 years ago
- Execute Unix shell commands in Markdown documentation as tests.☆14Aug 1, 2019Updated 7 years ago
- scala pandoc wrapper☆10Jan 5, 2014Updated 12 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
- a node scripts runner☆11Jul 9, 2017Updated 9 years ago
- Dockerfiles for Fish and Oh My Fish☆11Aug 30, 2026Updated last month