• Scripts collection to generate ECDSA keypairs and derive their Ethereum address

    Shell 47 Updated Nov 9, 2017
  • Semantics of Viper in K

    Python 2 Updated Nov 8, 2017
  • A web tool for converting BIP39 mnemonic codes

    HTML 380 MIT Updated Sep 7, 2017
  • Offline ETH transaction signing tool with no dependencies

    JavaScript 1 BSD-2-Clause Updated Jun 10, 2017
  • nstack

    Forked from nstack/nstack

    Type-safe, composable microservices for data analytics

    Haskell 10 BSD-3-Clause Updated May 3, 2017
  • Makefile Updated Apr 30, 2017
  • Simple example projects showing how to use libopencm3.

    Makefile 196 Updated Apr 26, 2017
  • A Lem formalization of EVM and some Isabelle/HOL proofs

    Isabelle 27 Updated Mar 5, 2017
  • Functional Programming for Ethereum: Intro and Resources

    10 MIT Updated Jan 30, 2017
  • PureScript Updated Jan 24, 2017
  • scripts to convert postgres extensions, schemas, users to liquibase changesets

    PLpgSQL Updated Jan 8, 2017
  • PureScript Updated Dec 16, 2016
  • Shell Updated Oct 30, 2016
  • Java Updated Oct 27, 2016
  • Java Updated Oct 26, 2016
  • Tools and Examples for IcoBoard

    Verilog 11 Updated Oct 21, 2016
  • 0

    People

    This organization has no public members. You must be a member to see who’s a part of this organization.