Alternatives and similar repositories for awesome-ocap:

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

• benlaurie / objecthash
  A way to cryptographically hash objects (in the JSON-ish sense) that works cross-language. And, therefore, cross-encoding.
  ☆148Updated last year
• braid-org / braid-spec
  Working area for Braid extensions to HTTP
  ☆240Updated 4 months ago
• tibru / tibru
  An alternative to Urbit
  ☆94Updated 7 years ago
• ssbc / scuttlebutt-protocol-guide
  Protocol documentation for Secure Scuttlebutt
  ☆248Updated last year
• noether-lang / noether
  Noether programming language
  ☆127Updated 7 years ago
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆397Updated 2 years ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆210Updated 3 months ago
• lemmy / BlockingQueue
  Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
  ☆492Updated 5 months ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆669Updated 3 weeks ago
• hyperhyperspace / hyperhyperspace-core
  A library to create p2p applications, using the browser as a full peer.
  ☆212Updated 7 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 last month
• project-everest / everest
  ☆197Updated this week
• rust-lang / datafrog
  A lightweight Datalog engine in Rust
  ☆819Updated 3 years ago
• apalache-mc / apalache
  APALACHE: symbolic model checker for TLA+ and Quint
  ☆456Updated last week
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆147Updated 11 months ago
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆156Updated last month
• RhizomeDB / rs-rhizome
  ☆115Updated last year
• remko / waforth
  Small but complete dynamic Forth Interpreter/Compiler for and in WebAssembly
  ☆522Updated 2 months ago
• d-cook / SomethingNew
  Collaboration for reinventing software in human terms
  ☆172Updated 6 years ago
• inkandswitch / farm
  🌱 Grow delightful software
  ☆255Updated 6 years ago
• cblgh / trustnet
  a flexible and distributed system for deriving, and interacting with, computational trust
  ☆138Updated 2 years ago
• jamii / dida
  Differential dataflow for mere mortals
  ☆521Updated 3 years ago
• oconnor663 / bao
  an implementation of BLAKE3 verified streaming
  ☆511Updated 2 weeks ago
• cell-lang / compiler
  Cell compiler
  ☆113Updated last year
• PLSysSec / rlbox
  RLBox sandboxing framework
  ☆298Updated last month
• rozbb / molasses
  A Rust implementation of the Message Layer Security group messaging protocol
  ☆115Updated last year
• andrewchambers / hermes
  Hermes software environment manager
  ☆316Updated 4 years ago
• argumentcomputer / yatima-lang-alpha
  A programming language for the decentralized web
  ☆447Updated 2 years ago
• AljoschaMeyer / bamboo
  ☆142Updated 10 months ago
• Xe / olin
  Webassembly + Event Sourcing
  ☆523Updated 10 months ago