Agoric / SwingSet
MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains
☆18Updated 4 years ago
Related projects: ⓘ
- MOVED TO MONOREPO. Was: Electronic Rights Transfer Protocol (ERTP), the Smart Contract Framework☆19Updated 4 years ago
- OBSOLETE prototype Vat host: use SwingSet instead☆30Updated 4 years ago
- Formal specification and reference implementation of Casper☆15Updated 9 years ago
- ☆16Updated this week
- Gravity Network: a distributed computing architecture for resilience and interoperability☆37Updated 7 years ago
- GitHub -> IPFS mirroring☆29Updated 6 years ago
- Welcome to the Sikka Commons☆9Updated 5 years ago
- A core and experimental implementation of ClaimChain☆34Updated 5 years ago
- Ambient Calculus research☆14Updated 3 years ago
- A command line-based parameterized contracting tool☆45Updated last year
- (Summed) Merklized Binary Radix Tree library☆16Updated 7 years ago
- Formalization of Tendermint proposer election properties☆15Updated 5 years ago
- specification and design documents☆53Updated last year
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- Decentralized Database Research☆14Updated 3 years ago
- Documentation and research notes related to the Prima Kernel☆20Updated 6 years ago
- ☆14Updated 8 years ago
- ☆34Updated 3 years ago
- ☆16Updated this week
- XTP - eXternal Transports Protocol☆33Updated 7 months ago
- Linked Data Capabilities reference implementation☆24Updated 5 months ago
- ☆62Updated 7 years ago
- DEPRECATED: A light client for tendermint, supporting signatures, proofs, and validation (see github.com/tendermint/tendermint/lite)☆17Updated 6 years ago
- 🦀 Rust implementation of sinkhole private information retrieval☆15Updated 3 years ago
- Lightweight ENS resolver and library☆24Updated 7 years ago
- ☆26Updated 6 years ago
- The Hog programming language☆15Updated 6 years ago
- ☆16Updated this week
- Simple tarball encryption☆21Updated 4 years ago