okTurtles / sbpLinks
SBP: A Programming Paradigm for Building Secure Software and Operating Systems
☆32Updated 7 months ago
Alternatives and similar repositories for sbp
Users that are interested in sbp are comparing it to the libraries listed below
Sorting:
- 🐝 Wasp : Wasm programming language☆115Updated 2 months ago
- Beacon browser for desktop☆140Updated 3 years ago
- Research and proof of concept to develop the next SecureDrop with end to end encryption.☆49Updated this week
- EXA Kernel☆72Updated last week
- A distributed hash table with unusually strong security properties☆64Updated 5 years ago
- Gemini IPFS Gateway☆22Updated 5 months ago
- Spawn shells anywhere. Fully peer-to-peer, authenticated, and end to end encrypted☆249Updated last year
- A decentralized social protocol based on git☆132Updated 2 years ago
- A small language that compiles to WebAssembly Text format☆74Updated last year
- Create Merkle trees from your directories.☆112Updated last year
- Server app for 1fps.video☆35Updated last month
- An animated visualization of elliptic curve cryptography☆147Updated 2 months ago
- ☆26Updated last year
- Typed Formats for Storing & Transferring Data & Code☆36Updated 2 months ago
- ☆50Updated last year
- ☆148Updated 2 years ago
- The future home of JS/OS: an operating system for the web☆30Updated last year
- Dogma: A modernized metalanguage with better expressiveness and binary grammar support☆65Updated 2 years ago
- A collection of videos to showcase the magic alchemy of computation.☆136Updated last year
- Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.☆58Updated last year
- Uncensorable, immutable microblogging platform that is completely decentralized and does not rely on any centralized systems, only the Ha…☆147Updated 3 years ago
- ☆52Updated last year
- This repository contains the code of Find and Replace application☆69Updated 4 months ago
- An Elliptic-Curve Based Secure Chat, written using Rust and Protobuf!☆52Updated last year
- Ruby multimedia toolkit with deep Jekyll integration 🧪☆19Updated last year
- Heartf❤️ck: the most wholesome "programming language" by Laura Pircalaboiu and Ricardo Vogel. Python compiler by Jonathan Dönszelmann☆53Updated 4 years ago
- CPU rendered ASCII art shader writing tool with hot reloading.☆43Updated 3 years ago
- The Directed Acyclic Graph Elevation Markup Language☆79Updated 5 months ago
- One of the very first programs I ever made - a program to find valid english crossword fills given a grid pattern using beam search. I fo…☆50Updated last year
- A functional demo app for the Invisible Screen. Use this as a reference to build your own apps.☆22Updated 11 months ago