SBP: A Programming Paradigm for Building Secure Software and Operating Systems
☆32Mar 10, 2025Updated last year
Alternatives and similar repositories for sbp
Users that are interested in sbp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- okTurtles Foundation website☆20May 19, 2026Updated 3 weeks ago
- Build anything you can imagine and launch it with a keystroke☆31Dec 21, 2025Updated 5 months ago
- A human-friendly implementation of the iRobot Open Interface version 2 API.☆14May 14, 2016Updated 10 years ago
- Make and evolve a GUI and its toolkit simultaneously☆15Dec 27, 2018Updated 7 years ago
- Very simple syntax highlighting☆21May 3, 2024Updated 2 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.
- Match provided glob paths to file objects with readable stream☆11Apr 19, 2025Updated last year
- Render, select coordinates, export to video and more.☆13Apr 28, 2024Updated 2 years ago
- Bot which posts when browser makers announce their intent to ship, change or remove features in their web engines!☆17Nov 20, 2024Updated last year
- Write any bash with only the punctuation characters☆90Aug 19, 2024Updated last year
- Website for Agregore☆13Apr 23, 2026Updated last month
- A tour of the programming languages available on the Michigan Terminal System in 1988☆13Mar 1, 2020Updated 6 years ago
- A circuit board development environment driven by Forth.☆12Dec 12, 2020Updated 5 years ago
- Notes from the IPFS DApps Working Group☆14May 1, 2025Updated last year
- A social media RSS: peer-to-peer, offline ActivityPub client for reading and following microblogs on the Fediverse.☆19Dec 5, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A gateway for talking to hypercore-protocol using the same URL structures as Agregore☆16Dec 20, 2023Updated 2 years ago
- A proof-of-concept Chrome browser extension to help with offline web development.☆12Apr 4, 2026Updated 2 months ago
- ☆17Sep 13, 2022Updated 3 years ago
- Raster Master & Utilities for Dos - A Sprite/Icon editor that generates code for Turbo Pascal/Turbo C and QuickBASIC/QuickC☆27Oct 25, 2022Updated 3 years ago
- social coding web UI on secure-scuttlebutt☆10Jun 11, 2018Updated 8 years ago
- Interact with Bittorrent the same way you would websites via fetch()☆22Jun 29, 2023Updated 2 years ago
- Quantum Insert/FoxAcid case study☆16May 18, 2017Updated 9 years ago
- A simple interface into controlling the mac trackpad haptic feedback from rust.☆25Jun 1, 2024Updated 2 years ago
- 💫 convert a static site to use only relative urls☆16Feb 12, 2022Updated 4 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.
- Simple software methodology for efficient and effective collaboration☆11Nov 28, 2016Updated 9 years ago
- Put RMS in your browser.☆12Mar 4, 2018Updated 8 years ago
- ☆22Sep 8, 2024Updated last year
- Featured on the front page of a certain programming meme subreddit☆10Nov 25, 2019Updated 6 years ago
- Array type for Yjs☆13Oct 6, 2017Updated 8 years ago
- FAQ for University of CaliforniaSanta Cruz 2019 Incoming Grads☆12Apr 4, 2019Updated 7 years ago
- Reorders function's first two arguments to make underscore or lodash more functional☆19Dec 30, 2014Updated 11 years ago
- The Lorikeet interface toolkit.☆19Mar 11, 2019Updated 7 years ago
- A SourceCred web3 native client to measure engineering impact in Github Repositories and split crypto payments☆20Jun 13, 2024Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Example of embedding Bare in an Android application using https://github.com/holepunchto/bare-kit☆21Apr 23, 2026Updated last month
- A TUI tool for creating and managing git repositories☆15Apr 6, 2025Updated last year
- a web page / paper☆18Feb 24, 2017Updated 9 years ago
- Code and slides for my talk and post about scaling Socket.io☆15Jun 21, 2016Updated 9 years ago
- A-Frame `stats-in-vr` component.☆12Jan 27, 2023Updated 3 years ago
- DWeb Backend for the Save app based on Veilid and Iroh☆23May 31, 2026Updated last week
- Small package that leverages the power of ES6 Proxy to validate and sanitize objects.☆18Aug 14, 2019Updated 6 years ago