Repositories list

• cap9

  Public
  Capability-based security protocol for smart contracts

  ethereumcapabilitiesweb3+ 2substrateewasm

  Rust

  •

  Apache License 2.0

  •10•22•14•16•Updated Jan 23, 2023Jan 23, 2023

• cap9-website

  Public
  Cap9 Protocol Website

  HTML

  •

  MIT License

  •0•0•1•1•Updated Oct 6, 2022Oct 6, 2022

• substrate

  Public
  Substrate: The platform for blockchain innovators

  Rust

  •

  GNU General Public License v3.0

  •2.6k•0•0•0•Updated Nov 24, 2019Nov 24, 2019

• substrate-api-client

  Public
  Library for connecting to substrate API over WebSockets

  Rust

  •

  Apache License 2.0

  •125•0•0•0•Updated Oct 29, 2019Oct 29, 2019

• rust-web3

  Public
  Ethereum JSON-RPC multi-transport client. Rust implementation of web3 library.

  Rust

  •469•0•0•0•Updated Aug 26, 2019Aug 26, 2019

• parity-ethereum

  Public
  The fast, light, and robust EVM and WASM client.

  Rust

  •

  GNU General Public License v3.0

  •1.7k•0•0•0•Updated Aug 22, 2019Aug 22, 2019

• cap9-spec

  Public
  Formal specification of the Cap9 kernel

  Isabelle

  •

  Apache License 2.0

  •0•4•1•0•Updated Jul 9, 2019Jul 9, 2019

• pwasm-abi

  Public
  Parity WASM Abi (Legacy and new)

  Rust

  •

  Apache License 2.0

  •17•0•0•0•Updated Jun 21, 2019Jun 21, 2019

• cap9-whitepaper

  Public
  The whitepaper for the cap9 kernel

  TeX

  •1•0•0•1•Updated May 7, 2019May 7, 2019

• beaker_demo

  Public
  Frontend Demo

  Vue

  •0•0•4•0•Updated Nov 27, 2018Nov 27, 2018

• beaker-cli

  Public
  Procedure preprocessor.

  Haskell

  •0•0•4•0•Updated Nov 2, 2018Nov 2, 2018

• hs-web3

  Public
  Ethereum API for Haskell.

  Haskell

  •

  BSD 3-Clause "New" or "Revised" License

  •68•0•0•0•Updated Oct 9, 2018Oct 9, 2018

• chain-analysis

  Public
  Haskell

  •0•0•0•0•Updated May 30, 2018May 30, 2018