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
• endojs / Jessie
  Tiny subset of JavaScript for ocap-safe universal mobile code
  ☆296Updated last month
• benlaurie / objecthash
  A way to cryptographically hash objects (in the JSON-ish sense) that works cross-language. And, therefore, cross-encoding.
  ☆148Updated last year
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆399Updated 2 years ago
• ssbc / scuttlebutt-protocol-guide
  Protocol documentation for Secure Scuttlebutt
  ☆249Updated last year
• Soonad / Whitepaper
  Moonad: a Peer-to-Peer Operating System
  ☆102Updated 5 years ago
• mirth-lang / mirth
  Compiler for the Mirth programming language.
  ☆466Updated last week
• typedefs / typedefs
  Programming language agnostic type construction language based on polynomials.
  ☆368Updated last year
• rust-lang / datafrog
  A lightweight Datalog engine in Rust
  ☆820Updated 3 years ago
• awesomo4000 / awesome-provable
  A curated set of links to formal methods involving provable code.
  ☆206Updated 3 years 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.
  ☆203Updated 3 months ago
• marcsAtSkyhunter / Capper
  A web application server with built-in object capability security built on Node.js/Express
  ☆15Updated 4 years ago
• braid-org / braid-spec
  Working area for Braid extensions to HTTP
  ☆247Updated 6 months ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆674Updated last month
• andrewchambers / hermes
  Hermes software environment manager
  ☆317Updated 4 years ago
• d-cook / SomethingNew
  Collaboration for reinventing software in human terms
  ☆173Updated 7 years ago
• yairchu / awesome-structure-editors
  A list of projectional and structural editors
  ☆375Updated last month
• rozbb / molasses
  A Rust implementation of the Message Layer Security group messaging protocol
  ☆115Updated last year
• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆302Updated 2 years ago
• tibru / tibru
  An alternative to Urbit
  ☆94Updated 7 years ago
• UpstandingHackers / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆434Updated 2 years ago
• FStarLang / karamel
  KaRaMeL is a tool for extracting low-level F* programs to readable C code
  ☆451Updated this week
• Agoric / SES
  MOVED to @agoric/ses-shim. SES (Secure EcmaScript) is a secure runtime for running third-party code safely
  ☆362Updated 5 years ago
• magmide / magmide
  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
  ☆823Updated last year
• argumentcomputer / yatima-lang-alpha
  A programming language for the decentralized web
  ☆448Updated 2 years ago
• stephenrkell / liballocs
  Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s
  ☆225Updated last week
• Fault-lang / Fault
  a language for building system dynamic models
  ☆164Updated last month
• sdiehl / bulletproofs
  Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
  ☆540Updated 2 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆74Updated 3 months ago