dckc / awesome-ocap
Awesome Object Capabilities and Capability Security
☆347Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for awesome-ocap
- General planning and documentation repository for the OCapN protocol suite for distributed networked objects☆162Updated this week
- Noether programming language☆126Updated 7 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆387Updated 2 years ago
- A lightweight Datalog engine in Rust☆801Updated 2 years ago
- Proving leftpad correct two-dozen different ways☆650Updated this week
- Programming language agnostic type construction language based on polynomials.☆366Updated 5 months ago
- Compiler for the Mirth programming language.☆447Updated 3 months ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆251Updated this week
- Tiny subset of JavaScript for ocap-safe universal mobile code☆284Updated 7 months ago
- Moonad: a Peer-to-Peer Operating System☆101Updated 4 years ago
- An alternative to Urbit☆91Updated 7 years ago
- Protocol documentation for Secure Scuttlebutt☆243Updated last year
- a datalog interpreter in typescript☆208Updated last month
- A functional programming language with static memory management☆841Updated this week
- Offset payment engine☆163Updated last year
- A way to cryptographically hash objects (in the JSON-ish sense) that works cross-language. And, therefore, cross-encoding.☆149Updated last year
- a flexible and distributed system for deriving, and interacting with, computational trust☆134Updated 2 years ago
- MOVED to @agoric/ses-shim. SES (Secure EcmaScript) is a secure runtime for running third-party code safely☆362Updated 4 years ago
- APALACHE: symbolic model checker for TLA+ and Quint☆441Updated 2 weeks ago
- You might not need your garbage collector☆536Updated 4 years ago
- A programming language for the decentralized web☆448Updated last year
- ☆556Updated last year
- List of future of programming projects☆354Updated 4 months ago
- Datalog compiler embedded in Rust as a procedural macro☆463Updated 8 months ago
- A Fully Homomorphic Encryption Brainfuck virtual machine☆214Updated 4 years ago
- ACT community resources☆465Updated 4 years ago
- My personal repository of formally verified mathematics.☆292Updated 3 weeks ago
- Working area for Braid extensions to HTTP☆236Updated last month
- A web application server with built-in object capability security built on Node.js/Express☆15Updated 4 years ago
- Simple verification of Rust programs via functional purification in Lean 2(!)☆336Updated 7 years ago