Alternatives and similar repositories for awesome-ocap:

Users that are interested in awesome-ocap are comparing it to the libraries listed below

• ocapn / ocapn
  General planning and documentation repository for the OCapN protocol suite for distributed networked objects
  ☆174Updated last week
• braid-org / braid-spec
  Working area for Braid extensions to HTTP
  ☆239Updated 2 months ago
• endojs / Jessie
  Tiny subset of JavaScript for ocap-safe universal mobile code
  ☆288Updated 2 weeks ago
• rust-lang / datafrog
  A lightweight Datalog engine in Rust
  ☆806Updated 3 years ago
• benlaurie / objecthash
  A way to cryptographically hash objects (in the JSON-ish sense) that works cross-language. And, therefore, cross-encoding.
  ☆148Updated last year
• ssbc / scuttlebutt-protocol-guide
  Protocol documentation for Secure Scuttlebutt
  ☆244Updated last year
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆391Updated 2 years ago
• marcsAtSkyhunter / Capper
  A web application server with built-in object capability security built on Node.js/Express
  ☆15Updated 4 years ago
• tibru / tibru
  An alternative to Urbit
  ☆93Updated 7 years ago
• hoytech / quadrable
  Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs
  ☆302Updated last year
• noether-lang / noether
  Noether programming language
  ☆126Updated 7 years ago
• datrs / hypercore
  Secure, distributed, append-only log
  ☆338Updated 3 months ago
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆261Updated this week
• cblgh / trustnet
  a flexible and distributed system for deriving, and interacting with, computational trust
  ☆137Updated 2 years ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆198Updated 2 years ago
• ipfs-inactive / research-CRDT
  [ARCHIVED] Repo to organize our ideas about research implementations of CRDTs.
  ☆484Updated 4 years ago
• magmide / magmide
  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
  ☆813Updated 9 months ago
• Tarsnap / kivaloo
  Kivaloo is a collection of utilities which together form a data store associating keys of up to 255 bytes with values of up to 255 bytes.
  ☆202Updated 2 weeks ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆121Updated 4 years ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆209Updated last month
• apalache-mc / apalache
  APALACHE: symbolic model checker for TLA+ and Quint
  ☆446Updated last week
• RhizomeDB / rs-rhizome
  ☆115Updated last year
• canvasxyz / okra
  A pseudo-random deterministic merkle tree built on LMDB
  ☆67Updated 9 months ago
• hacspec / hacspec
  Please see https://github.com/hacspec/hax
  ☆242Updated 11 months ago
• yairchu / awesome-structure-editors
  A list of projectional and structural editors
  ☆359Updated 8 months ago
• tlaplus / CommunityModules
  TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
  ☆277Updated last month
• crev-dev / crev
  Socially scalable Code REView and recommendation system that we desperately need. See http://github.com/crev-dev/cargo-crev for real impl…
  ☆406Updated 3 years ago
• argumentcomputer / yatima-lang-alpha
  A programming language for the decentralized web
  ☆448Updated last year
• oconnor663 / bao
  an implementation of BLAKE3 verified streaming
  ☆497Updated 2 months ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆662Updated 2 months ago