8000 julian1-testing repositories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

@julian1-testing julian1-testing

Change the repository type filter

All

    Repositories list

    16 repositories

    • ethereum-generate-wallet

      Public
      Scripts collection to generate ECDSA keypairs and derive their Ethereum address
      Shell
      •120•0•0•0•Updated Nov 9, 2017Nov 9, 2017

    • viper-semantics

      Public
      Semantics of Viper in K
      Python
      •9•0•0•0•Updated Nov 8, 2017Nov 8, 2017

    • bip39

      Public
      A web tool for converting BIP39 mnemonic codes
      HTML
      •
      MIT License
      •1.5k•0•0•0•Updated Sep 7, 2017Sep 7, 2017

    • eth-offline-tx

      Public
      Offline ETH transaction signing tool with no dependencies
      JavaScript
      •
      BSD 2-Clause "Simplified" License
      •3•0•0•0•Updated Jun 10, 2017Jun 10, 2017

    • nstack

      Public
      Type-safe, composable microservices for data analytics
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •14•0•0•0•Updated May 3, 2017May 3, 2017

    • stm32f4-tests

      Public
      Makefile
      •0•0•0•0•Updated Apr 30, 2017Apr 30, 2017

    • libopencm3-examples

      Public
      Simple example projects showing how to use libopencm3.
      Makefile
      •339•0•0•0•Updated Apr 26, 2017Apr 26, 2017

    • eth-isabelle

      Public
      A Lem formalization of EVM and some Isabelle/HOL proofs
      Isabelle
      •
      Other
      •42•0•0•0•Updated Mar 5, 2017Mar 5, 2017

    • fp-ethereum

      Public
      Functional Programming for Ethereum: Intro and Resources
      MIT License
      •9•0•0•0•Updated Jan 30, 2017Jan 30, 2017

    • purescript-tests

      Public
      PureScript
      •0•0•0•0•Updated Jan 24, 2017Jan 24, 2017

    • rds-migration

      Public
      scripts to convert postgres extensions, schemas, users to liquibase changesets
      PLpgSQL
      •0•0•0•0•Updated Jan 8, 2017Jan 8, 2017

    • purescript-react-example

      Public
      PureScript
      •0•0•0•0•Updated Dec 16, 2016Dec 16, 2016

    • wps-download

      Public
      Shell
      •0•0•0•0•Updated Oct 30, 2016Oct 30, 2016

    • reconciliation2

      Public
      Java
      •0•0•0•0•Updated Oct 27, 2016Oct 27, 2016

    • reconciliation-example

      Public
      Java
      •0•0•0•0•Updated Oct 26, 2016Oct 26, 2016

    • icotools

      Public
      Tools and Examples for IcoBoard
      Verilog
      •27•0•0•0•Updated Oct 21, 2016Oct 21, 2016
    0