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
  ☆185Updated this week
• noether-lang / noether
  Noether programming language
  ☆127Updated 8 years ago
• tibru / tibru
  An alternative to Urbit
  ☆94Updated 7 years ago
• endojs / Jessie
  Tiny subset of JavaScript for ocap-safe universal mobile code
  ☆298Updated 2 weeks ago
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆400Updated 3 years ago
• hoytech / quadrable
  Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs
  ☆319Updated 2 years ago
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆278Updated 2 weeks ago
• Soonad / Whitepaper
  Moonad: a Peer-to-Peer Operating System
  ☆101Updated 5 years ago
• marcsAtSkyhunter / Capper
  A web application server with built-in object capability security built on Node.js/Express
  ☆15Updated 4 years ago
• rust-lang / datafrog
  A lightweight Datalog engine in Rust
  ☆826Updated 3 years ago
• c3d / xl
  A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites
  ☆281Updated 2 years ago
• canvasxyz / okra
  A pseudo-random deterministic merkle tree built on LMDB
  ☆73Updated 3 months ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆200Updated 3 years ago
• cell-lang / compiler
  Cell compiler
  ☆114Updated last year
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆677Updated 2 months ago
• Agoric / SES
  MOVED to @agoric/ses-shim. SES (Secure EcmaScript) is a secure runtime for running third-party code safely
  ☆362Updated 5 years ago
• benlaurie / objecthash
  A way to cryptographically hash objects (in the JSON-ish sense) that works cross-language. And, therefore, cross-encoding.
  ☆148Updated 2 years ago
• jamii / dida
  Differential dataflow for mere mortals
  ☆522Updated 3 years ago
• remko / waforth
  Small but complete dynamic Forth Interpreter/Compiler for and in WebAssembly
  ☆534Updated 4 months ago
• yairchu / awesome-structure-editors
  A list of projectional and structural editors
  ☆380Updated 2 months ago
• dsw / proquint
  Proquints: Identifiers that are Readable, Spellable, and Pronounceable.
  ☆297Updated 8 months ago
• d-cook / SomethingNew
  Collaboration for reinventing software in human terms
  ☆173Updated 7 years ago
• magmide / magmide
  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
  ☆824Updated last year
• oconnor663 / bao
  an implementation of BLAKE3 verified streaming
  ☆525Updated last month
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆210Updated 5 months ago
• ucan-wg / spec
  User Controlled Authorization Network (UCAN) Specification
  ☆248Updated last month
• jamii / imp
  Various experiments in relational programming
  ☆272Updated 3 years ago
• stephenrkell / liballocs
  Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s
  ☆228Updated 2 weeks 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 3 months ago
• Xe / olin
  Webassembly + Event Sourcing
  ☆523Updated last year