Reference Operating system based on seL4 --- example code
☆22Mar 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
- ☆31Jul 24, 2016Updated 9 years ago
- musl: A C standard library☆18Apr 20, 2026Updated 2 weeks ago
- A Pretty Printing XML Generator for Common Lisp☆18Jun 11, 2025Updated 10 months ago
- Trigger-only for CVE-2021-29627☆13Apr 12, 2021Updated 5 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.
- Middleware that provides libraries, GUI, and code generator to design multi-node (clustered) applications that are highly available, redu…☆26Apr 28, 2026Updated last week
- ☆10Jul 24, 2017Updated 8 years ago
- Visual SH, GRAph SH - simple visual (diagrammatic) shell☆29May 3, 2023Updated 3 years ago
- correlate an SPI capture of an AMD boot procedure to the PSP firmware components☆15Jan 13, 2026Updated 3 months ago
- Ada-bindings for 0mq☆42Nov 17, 2025Updated 5 months ago
- Exploit Android MSM8974 Chipset☆14Aug 20, 2015Updated 10 years ago
- The Demo for CVE-2018-1000006☆39Jan 25, 2018Updated 8 years ago
- The pure javascript client for The Lacuna Expanse.☆31Aug 9, 2016Updated 9 years ago
- ☆17Jun 30, 2023Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- macOS application that makes use of the EndpointSecurity framework☆19Aug 1, 2019Updated 6 years ago
- The open-source agent firewall. Prevent AI agents from leaking data, using dangerous tools, and importing poisoned dependencies.☆39Apr 14, 2026Updated 3 weeks ago
- HTTP(S) client for PicoLisp☆14Mar 8, 2017Updated 9 years ago
- libdkim++ is a lightweight and portable DKIM (RFC6376) library for *NIX, supporting both signing and DMARC/ARC/SDID verification, sponsor…☆17Sep 2, 2025Updated 8 months ago
- A hacky clang analyzer checker that looks for potentially exploitable kernel integer overflows.☆20May 13, 2018Updated 7 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 7 years ago
- A fast generative fuzzer for HTTP☆17Nov 29, 2018Updated 7 years ago
- QCA 10.x mainline reference HAL - AR9380 and later series 802.11n NICs☆22May 23, 2015Updated 10 years ago
- Mine XMR on basically any device ever☆10Aug 15, 2024Updated last year
- 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.
- A programming environment for Minecraft☆14Aug 5, 2022Updated 3 years ago
- A minimal runtime for seL4 applications.☆14Mar 31, 2026Updated last month
- C-compatible enum for Julia☆15Dec 23, 2023Updated 2 years ago
- ☆17Jan 15, 2013Updated 13 years ago
- A performant, 100% native-julia MD5 implementation☆20Jan 5, 2024Updated 2 years ago
- another abstraction layer for operating system developers☆11Apr 27, 2020Updated 6 years ago
- Library for writing unit tests as specifications in D.☆25Nov 18, 2014Updated 11 years ago
- An asynchronous version of drakma that runs off of cl-async☆40Aug 5, 2021Updated 4 years ago
- ☆11Feb 25, 2023Updated 3 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.
- Alice ML implementation☆17Nov 25, 2022Updated 3 years ago
- One Big Text File (OBTF) Journal in Markdown☆23Jan 17, 2026Updated 3 months ago
- A diff tool that highlights changes at the token (rather than line) level☆13Dec 19, 2022Updated 3 years ago
- Simple and light weight powershell script that removes pre-installed windows 10/11 bloatware apps, disables telemetry and declutters the …☆26Jun 26, 2023Updated 2 years ago
- Reinforcement learning algorithms constrained by a partial program☆19Mar 25, 2011Updated 15 years ago
- A CGI module for Julia☆10Jul 9, 2014Updated 11 years ago
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆17Apr 27, 2026Updated last week