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:
- 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
- USB MIDI Controller with Mackie Protocol support☆12Mar 15, 2018Updated 8 years ago
- Beat censorship at its own game.☆43Aug 6, 2014Updated 12 years ago
- Community Material Design Icons as material-ui SvgIcon components☆12Oct 4, 2016Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- This repository will be for Dockerfiles for the various LBRY packages.☆11Oct 28, 2020Updated 5 years ago
- A scalable MachineForth for PCs, MCUs and FPGAs.☆14Aug 23, 2020Updated 6 years ago
- A circuit board development environment driven by Forth.☆12Dec 12, 2020Updated 5 years ago
- ☆16Feb 7, 2023Updated 3 years ago
- A very simple Mix task that compiles LFE (lisp (flavoured (erlang)))☆12Jun 14, 2018Updated 8 years ago
- Emulation of Mackie control using Max4Live☆12Mar 12, 2020Updated 6 years ago
- social coding web UI on secure-scuttlebutt☆10Jun 11, 2018Updated 8 years ago
- A Los Angeles Times analysis of helicopter accident rates☆13Dec 21, 2020Updated 5 years ago
- ☆11Sep 4, 2019Updated 6 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.
- create a secure-scuttlebutt feed☆15Jan 11, 2019Updated 7 years ago
- Community-built wiki for BespokeSynth☆17Mar 29, 2024Updated 2 years ago
- What Have I Done - Time Tracker for Freelancers and Individual Contractors☆16Jun 21, 2020Updated 6 years ago
- injects AWS Secrets Manager secrets as environment variables. single binary, no dependencies. osx & linux & windows. #aws #golang #cli☆19Jul 30, 2024Updated 2 years ago
- Simple geth node running a private development network☆15Jun 3, 2022Updated 4 years ago
- Brittanica Encyclopedia Monorepository☆12Aug 29, 2016Updated 10 years ago
- Array type for Yjs☆13Oct 6, 2017Updated 8 years ago
- Self-hosting parser generators in Forth and C.☆20Feb 27, 2021Updated 5 years ago
- Simple software methodology for efficient and effective collaboration☆11Nov 28, 2016Updated 9 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.
- level-fs as drop-in fs replacement for the browser☆15Jan 13, 2017Updated 9 years ago
- Live coding music environment with AI agent chat☆17Apr 20, 2026Updated 4 months ago
- A simple console application which translates and logs the HUI and Mackie Control protocol output of your DAW.☆10May 4, 2020Updated 6 years ago
- Escrovery - Decentralized Account Recovery With Escrowed Payments☆13May 8, 2019Updated 7 years ago
- An experimental language whose object system is a topos: places are pre-sheaves, values are content-addressed on the Leech lattice, and t…☆26Aug 4, 2026Updated 3 weeks ago
- A generalized Karkkainen-Sanders implementation in Python for building suffix arrays and trees for many strings in O(n)☆17Aug 8, 2011Updated 15 years ago
- Small package that leverages the power of ES6 Proxy to validate and sanitize objects.☆18Aug 14, 2019Updated 7 years ago
- Generate scaffolds for Chaplin.js using Yeoman. Expedite the process of creating single page web apps.☆15May 20, 2014Updated 12 years ago
- A toy bitcoin peer. Connects to testnet, shakes hands, reacts to pings, asks for pongs.☆22Oct 11, 2016Updated 9 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.
- A very lightweight container to PHP Development☆14Sep 29, 2017Updated 8 years ago
- Lua 5.1 LBBV bytecode interpreter + JIT in Rust☆25Jun 3, 2026Updated 2 months ago
- Implement wordstar cursor control keys in linux using xkb☆43Aug 22, 2026Updated last week
- Currified localForage with a side of extras.☆19Jul 20, 2022Updated 4 years ago
- Multi file image differ, with the intent of producing art rather than being technically useful☆15Aug 18, 2021Updated 5 years ago
- Execute a command and send its output to Slack☆20Oct 3, 2017Updated 8 years ago
- An attempt to write a compiler in Rust☆24Jun 21, 2023Updated 3 years ago