DaoHub

Popular repositories Loading

1. cap9 cap9 Public

   Capability-based security protocol for smart contracts

   Rust 23 10

2. cap9-spec cap9-spec Public

   Formal specification of the Cap9 kernel

   Isabelle 5

3. cap9-whitepaper cap9-whitepaper Public

   The whitepaper for the cap9 kernel

   TeX 1 1

4. cap9-website cap9-website Public

   Cap9 Protocol Website

   HTML

5. beaker-cli beaker-cli Public

   Procedure preprocessor.

   Haskell

6. beaker_demo beaker_demo Public

   Frontend Demo

   Vue