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
  ☆179Updated this week
• rust-lang / datafrog
  A lightweight Datalog engine in Rust
  ☆813Updated 3 years ago
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆395Updated 2 years ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆668Updated 3 weeks ago
• hoytech / quadrable
  Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs
  ☆302Updated 2 years ago
• noether-lang / noether
  Noether programming language
  ☆126Updated 7 years ago
• marcsAtSkyhunter / Capper
  A web application server with built-in object capability security built on Node.js/Express
  ☆15Updated 4 years ago
• mirth-lang / mirth
  Compiler for the Mirth programming language.
  ☆460Updated this week
• FStarLang / karamel
  KaRaMeL is a tool for extracting low-level F* programs to readable C code
  ☆426Updated last week
• endojs / Jessie
  Tiny subset of JavaScript for ocap-safe universal mobile code
  ☆293Updated this week
• typedefs / typedefs
  Programming language agnostic type construction language based on polynomials.
  ☆367Updated 9 months ago
• jamii / dida
  Differential dataflow for mere mortals
  ☆520Updated 2 years ago
• Soonad / Whitepaper
  Moonad: a Peer-to-Peer Operating System
  ☆102Updated 5 years ago
• braid-org / braid-spec
  Working area for Braid extensions to HTTP
  ☆239Updated 4 months ago
• ssbc / scuttlebutt-protocol-guide
  Protocol documentation for Secure Scuttlebutt
  ☆247Updated last year
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆266Updated this week
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆209Updated 2 months ago
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆198Updated last year
• awesomo4000 / awesome-provable
  A curated set of links to formal methods involving provable code.
  ☆201Updated 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
• ekzhang / crepe
  Datalog compiler embedded in Rust as a procedural macro
  ☆468Updated last year
• tibru / tibru
  An alternative to Urbit
  ☆93Updated 7 years ago
• project-everest / vale
  Verified Assembly Language for Everest
  ☆281Updated last year
• apalache-mc / apalache
  APALACHE: symbolic model checker for TLA+ and Quint
  ☆454Updated 2 months ago
• 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
  ☆224Updated 2 weeks ago
• vmware-archive / differential-datalog
  DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…
  ☆1,402Updated last year
• vekatze / neut
  A programming language with static memory management based on λ-calculus
  ☆994Updated 2 weeks ago
• andrewchambers / hermes
  Hermes software environment manager
  ☆314Updated 4 years ago
• GaloisInc / crucible
  Crucible is a library for symbolic simulation of imperative programs
  ☆707Updated this week