Skip to content

Popular repositories Loading

  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

Repositories

Showing 10 of 13 repositories

Top languages

Loading…

Most used topics

Loading…