agoric-labs / jessicaLinks
Jessica - Jessie (secure distributed Javascript) Compiler Architecture
☆37Updated 2 years ago
Alternatives and similar repositories for jessica
Users that are interested in jessica are comparing it to the libraries listed below
Sorting:
- Tiny subset of JavaScript for ocap-safe universal mobile code☆300Updated last week
- UCAN Invocation & Pipelining☆15Updated last month
- Lisp implementation of Lurk.☆75Updated 11 months ago
- MOVED TO MONOREPO. Was: Electronic Rights Transfer Protocol (ERTP), the Smart Contract Framework☆19Updated 5 years ago
- Peer CRDT☆60Updated 4 months ago
- LensVM specifications and ABI definition☆12Updated 4 years ago
- Hash consistent search trees.☆94Updated 2 years ago
- Unofficial SDK for Pinata IPFS pinning service☆27Updated 6 years ago
- ☆49Updated last year
- A gossipsub protocol simulator☆40Updated 3 years ago
- Library for managing concurrent effects using generators.☆35Updated 2 years ago
- Proof-of-concept clay visualizer☆24Updated 2 years ago
- Notes, Questions, Ideas☆23Updated 7 years ago
- Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …☆112Updated 4 months ago
- AWAKE Protocol Specification☆35Updated 2 years ago
- DSL for Secure DApps☆33Updated 2 years ago
- OBSOLETE prototype Vat host: use SwingSet instead☆30Updated 5 years ago
- An informal description on how to compute set union between two computers.☆56Updated last year
- Secure EcmaScript☆48Updated 11 years ago
- 🦠🔬 experimental secure javascript membrane implementation☆18Updated 3 months ago
- ☆115Updated last year
- A typed, functional language that targets the EVM.☆55Updated 8 years ago
- An alternative client library for the IPFS HTTP API, aiming to be as lightweight as possible (<20kB) in the browser.☆33Updated 2 years ago
- 🪣 DAG based key value store.☆46Updated 4 months ago
- JSON/CBOR style format as a compressor☆25Updated 4 years ago
- MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains☆18Updated 5 years ago
- Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)☆55Updated 6 years ago
- A common lisp DSL for writing zero knowledge circuits☆18Updated 2 years ago
- Content-addressed B-tree in javascript☆30Updated 7 years ago
- 🐧 UCAN RPC☆60Updated 2 weeks ago