DappHub

Free stuff for dapp devs

[DappHub @dapphub]

☀️

[Jack 🏴‍☠️ 🌖 @wereness]

@meekaale @DabbleWithThis @ameensol @delete_shitcoin @dapphub @MakerDAO least esoteric characterization of Dapphub

[DappHub @dapphub]

Did you see new https://t.co/GaCyxWgU0W advertisement

[DappHub @dapphub]

@transmissions11 would be so fun

[Odysseus | phylax.systems @odysseas_eth]

A simple API to do stuff with Ethereum.

https://t.co/QKOBSIVxFe

/sign - Sign a message
/verify - Verify a message
/send - send a tx that invokes a smart contract's function
/call - invoke a smart contract function without a tx

send, call --> inspired by seth by
@dapptools

[DappTools @dapptools]

dapptools

[DappHub @dapphub]

dapptools

[mariano.eth @nanexcool]

You can now use solc 0.5.0 with dapptools by @dapphub!

Download instructions at https://t.co/JdIrM7W8FL then:

dapp pkg selfupdate

dapp --use solc:0.5.0 build

First use will take a while, since it'll download/compile solc 0.5.0, next time it'll be fast! Thanks #solidity team!

[Runtime Vеrification @rv_inc]

Thank you to everyone who attended our formal verification workshop earlier today at @EFDevcon. Special shoutout to @dapphub for a dynamite collaboration.

[Sebastien Guillemot @SebastienGllmt]

Check out K Lab from @dapphub for the KEVM
The KLab tool interactively explores execution traces produced by the K Framework
This is what I call magic. Thank you so much for this amazing tool!
https://t.co/se0usxUktg
@InputOutputHK @IOHK_Charles @rv_inc

[DappHub @dapphub]

@miguelmotah we’ve updated our nix tooling. post in https://t.co/CuCC91UmbL and we’ll explain how to use our new stuff

[martin @MartinLundfall]

@mhhf demoing some of the latest formal verification tools out of @dapphub to the great minds of @rv_inc. Really impressed with the #kframework!

[DappHub @dapphub]

@Cointelegraph wow looks like you did exactly zero research into who owns that trademark 🙃

[DappHub @dapphub]

@jrdprr @avsa It will be a visual tool someday but right now we’re just focusing on formal verification of each module’s EVM code

[DappHub @dapphub]

@nic_carter We believe that the free software movement is the most important cultural predecessor to the modern-day renaissance in decentralized technologies

[Lane Rettig @lrettig]

#ewasm university day two kicks off in Paris with devs from @ParityTech, @Truebitprotocol, @ConsenSys, @dapphub, @MakerDAO, @kyokan_io and @ethereum. @pepyakin teaches WASM basics, @alexberegszaszi teaches Solidity and Julia, @RealZandy teaches Maker and Everett teaches kevm.

[cody lindley @codylindley]

This is likely my favorite and the most important quote about creating software, EVER!.

[Dan Kaminsky @dakami]

Trail of Bits is doing the most incredible work, taking the tooling of deep offensive research into the realm of proper software engineering. https://t.co/rWfzeUkdV1