Popular repositories

1. cap9 cap9 Public

   Capability-based security protocol for smart contracts

   Rust 22 10

2. cap9-spec cap9-spec Public

   Formal specification of the Cap9 kernel

   Isabelle 3

3. cap9-website cap9-website Public

   Cap9 Protocol Website

   HTML

4. beaker-cli beaker-cli Public

   Procedure preprocessor.

   Haskell

5. beaker_demo beaker_demo Public

   Frontend Demo

   Vue

6. hs-web3 hs-web3 Public

   Forked from airalab/hs-web3

   Ethereum API for Haskell.

   Haskell