MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains
☆18Dec 4, 2019Updated 6 years ago
Alternatives and similar repositories for SwingSet
Users that are interested in SwingSet are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MOVED TO MONOREPO. Was: Electronic Rights Transfer Protocol (ERTP), the Smart Contract Framework☆18Jan 7, 2020Updated 6 years ago
- OBSOLETE prototype Vat host: use SwingSet instead☆29Oct 22, 2019Updated 6 years ago
- Secure EcmaScript☆48May 29, 2014Updated 11 years ago
- Hacks related to dissertation☆13Dec 24, 2019Updated 6 years ago
- Label-based networking daemon☆23Jan 1, 2019Updated 7 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Org-babel support for blockdiag☆11Apr 25, 2021Updated 5 years ago
- Proposal for tc39 of new integrity "level" protecting against both override mistakes and proxy reentrancy☆18Mar 30, 2025Updated last year
- Awesome Object Capabilities and Capability Security☆400Apr 22, 2026Updated last week
- ☆12Apr 24, 2016Updated 10 years ago
- Tiny subset of JavaScript for ocap-safe universal mobile code☆309Dec 5, 2025Updated 4 months ago
- Formal specification and reference implementation of Casper☆15Aug 19, 2015Updated 10 years ago
- Reflective actor-based language☆28Jan 2, 2017Updated 9 years ago
- MattockFS Computer Forensics File-System☆12Mar 26, 2018Updated 8 years ago
- MOVED to @agoric/ses-shim. SES (Secure EcmaScript) is a secure runtime for running third-party code safely☆362Apr 22, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An ECMAScript implementation of a Membrane, allowing users to dynamically hide, override, or extend objects in JavaScript with controlled…☆118Apr 22, 2026Updated last week
- Host untrusted bots for cabal☆20Aug 17, 2018Updated 7 years ago
- Proposal: Out of memory immediately terminates agent cluster☆19May 21, 2025Updated 11 months ago
- MOVED to @agoric/ses-shim. build a defensible API surface around an object by freezing all reachable properties☆16Feb 21, 2020Updated 6 years ago
- a deterministic version of JavaScript☆30Jul 15, 2021Updated 4 years ago
- serde_json for Wasm programs (small, deterministic, no floats)☆31Aug 29, 2025Updated 8 months ago
- Zcash-flavored Ed25519 for use in Zebra.☆35Apr 23, 2026Updated last week
- secure messaging, file-transfer, and directory synchronization☆41Jul 20, 2017Updated 8 years ago
- POP3 server library for Go☆11Feb 16, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A privacy-preserving, auditable, distributed voting system.☆14Jan 24, 2023Updated 3 years ago
- DEPRECATED: Merged into https://github.com/tendermint/tendermint under `crypto`☆44Jul 11, 2018Updated 7 years ago
- A command line tool that uses a Boolean calculus of calendars for computing availability (currently supports Google Calendar API)☆24Nov 3, 2021Updated 4 years ago
- IBC Relayer in TypeScript☆111Jul 21, 2024Updated last year
- Ship name utilities for Urbit☆11Mar 14, 2020Updated 6 years ago
- The ultimate Neovim distribution☆10Apr 18, 2017Updated 9 years ago
- Gravity Network: a distributed computing architecture for resilience and interoperability☆37Jul 7, 2017Updated 8 years ago
- Linux kernel with Capsicum support☆212Jun 3, 2020Updated 5 years ago
- Formally verified, bounded-stack XML library☆24May 26, 2020Updated 5 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- This package provides a LAN-wide shared event emitter.☆20Jan 15, 2014Updated 12 years ago
- Proposed EcmaScript Class Syntax clarifying orthogonal concerns☆29Mar 22, 2017Updated 9 years ago
- Simple dark theme for Logseq☆11Feb 4, 2022Updated 4 years ago
- A web platform API that allows access to the "original" versions of the global built-in objects' properties and methods☆28Apr 12, 2019Updated 7 years ago
- Hardware sensor interfaces through GPIO, I2C & SPI including BME280, TSL2561, ENER314, RFM69☆11Feb 25, 2023Updated 3 years ago
- A copy of the verifiable computation projects from Microsoft Research, Pinnochio and Gepetto☆18Sep 17, 2019Updated 6 years ago
- Please check out https://github.com/hacspec/hacspec for more information on hacspec☆46Nov 11, 2020Updated 5 years ago