agoric-labs / jessicaLinks
Jessica - Jessie (secure distributed Javascript) Compiler Architecture
☆37Updated last year
Alternatives and similar repositories for jessica
Users that are interested in jessica are comparing it to the libraries listed below
Sorting:
- MOVED TO MONOREPO. Was: Electronic Rights Transfer Protocol (ERTP), the Smart Contract Framework☆19Updated 5 years ago
- UCAN Invocation & Pipelining☆14Updated 9 months ago
- MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains☆18Updated 5 years ago
- Content content-addressable data feed☆25Updated 6 years ago
- Library for managing concurrent effects using generators.☆35Updated 2 years ago
- Linked Data Capabilities reference implementation☆26Updated last week
- A Solidity spec suite to test parsers for language compliance.☆11Updated 7 years ago
- An experimental Substrate implementation of the Radicle Registry 📒☆34Updated 4 years ago
- Peer CRDT☆60Updated last month
- Lisp implementation of Lurk.☆71Updated 8 months ago
- Interoperability tests for libp2p Implementations☆19Updated this week
- Ambient Calculus reduction engine☆8Updated 2 years ago
- ↻Observe-Orient-Decide-Act↩☆19Updated 5 years ago
- 🦠🔬 experimental secure javascript membrane implementation☆19Updated 2 weeks ago
- A hackable notes-spreadsheet-hybrid for programmers☆15Updated 7 months ago
- Provides an efficient way to build and manipulate IPLD DAGs as JSON☆39Updated 4 months ago
- Merkle tree and other data structures.☆17Updated 2 years ago
- AWAKE Protocol Specification☆35Updated last year
- Specifications for the various new pieces of provenance tech☆19Updated 2 months ago
- OBSOLETE prototype Vat host: use SwingSet instead☆30Updated 5 years ago
- Examples of computation abstractions using the Robust Ambients calculus☆8Updated 4 years ago
- Solidity EVM is a restricted Ethereum Virtual Machine interpreter☆13Updated 6 years ago
- LensVM specifications and ABI definition☆12Updated 4 years ago
- 📌Pin orbit-db stores and ipfs hashes☆31Updated last year
- The cryptographic signature multifomat☆13Updated 3 weeks ago
- Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)☆55Updated 5 years ago
- ☆11Updated last year
- ☆32Updated last month
- A Prolog engine written in Solidity.☆16Updated 3 years ago
- Radicle Developers of All Countries, Unite!☆17Updated 4 years ago