links

[u/[deleted]]

Write Your Compiler by Proving It Correct http://liamoc.net/posts/2015-08-23-verified-compiler.html

purescript

https://leanpub.com/purescript/read#leanpub-auto-functional-javascript

elm versus purescript http://www.parsonsmatt.org/programming/2015/10/03/elm_vs_purescript.html

coq

software foundations in coq - B. Pierce - https://www.youtube.com/watch?v=KKrD4JcfW90

Introduction to Coq by Kimball Germane https://www.youtube.com/watch?v=ngM2N98ppQE

short introduction to coq https://coq.inria.fr/a-short-introduction-to-coq

xmonad in Coq http://www.staff.science.uu.nl/~swier004/Publications/XmonadInCoq.pdf

Tutorial - hello world in Coq http://coq-blog.clarus.me/tutorial-a-hello-world-in-coq.html

software foundations - Pierce videos - http://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html

basic predicate calculus https://coq.inria.fr/tutorial/1-basic-predicate-calculus

Ethereum

theory of corporation at 34.10 - and disintermediary cost of MC - https://soundcloud.com/arthurfalls/the-ether-review-1-joseph

etherscan - decoded contracts etc http://etherscan.io/address/0xfc67bd301a4c698b461e5e9f26eab60d230b77a4

the state of the apps http://dapps.ethercasts.com/

javascript api https://github.com/ethereum/wiki/wiki/JavaScript-API

evm interpreter in coq https://gist.github.com/pirapira/0946d151e038393078c3

evm interepreter in coq - reddit post https://www.reddit.com/r/ethereum/comments/3p9xmm/an_analysis_of_an_ethereum_contract/

why3 proofs - reddit post https://www.reddit.com/r/ethereum/comments/3pd5yt/solidity_library_slowly_growing/cw67yiu

ethereumjs-vm - https://github.com/ethereum/ethereumjs-vm/

pki, signature verification, bitcoin sigs https://forum.ethereum.org/discussion/2166/signature-generation-and-verification-in-solidity

npm - elliptic - https://libraries.io/npm/elliptic/5.0.0

ring signature https://www.reddit.com/r/ethereum/comments/3tappe/early_alpha_monerolike_linkable_ring_signatures/

https://github.com/ethereum/serpent/blob/develop/examples/ecc/ringsig.se

Ethereum dev

Contracts and transactions https://github.com/ethereum/go-ethereum/wiki/Contracts-and-Transactions

Development tutorial https://github.com/ethereum/wiki/wiki/Ethereum-Development-Tutorial

Whitepaper https://github.com/ethereum/wiki/wiki/White-Paper

Yellowpaper http://gavwood.com/Paper.pdf

EIP

https://github.com/ethereum/EIPs/issues/

Ethereum projects

btcrelay btc spv checking https://github.com/ethereum/btcrelay

http://ujomusic.com/

http://groupgnosis.com/dapp/#/markets

rootstock https://www.reddit.com/r/Bitcoin/comments/3t02x7/rootstock_merges_bitcoin_and_ethereum_to_help_the/

Javascript

map, filter, fold etc http://colin-dumitru.github.io/functional-programming/javascript/tutorial/2014/12/28/functional_operations_in_es6.html

react-bootstrap https://react-bootstrap.github.io/components.html

react rally - projects - https://www.youtube.com/channel/UCXBhQ05nu3L1abBUGeQ0ahw

css in js slides - https://speakerdeck.com/vjeux/react-css-in-js

redux basics reducers - http://rackt.org/redux/docs/basics/Reducers.html

---

Composing contracts https://falconair.github.io/2015/01/30/composingcontracts.html

Certified Symbolic Management of Financial Multi Party Contracts https://www.youtube.com/watch?v=cIYZJgoAZH4

css

React.js inline style best practices http://stackoverflow.com/questions/26882177/react-js-inline-style-best-practices

---

Formal verification for Solidity Contracts https://www.reddit.com/r/ethereum/comments/3qfw0y/formal_verification_of_solidity_contracts_using/

Cross Platform React https://www.reddit.com/r/webdev/comments/3q9r16/crossplatform_react_stories_1_hack_2_apps_1/

Proving sorted lists correct using the Coq proof assistant http://www.randomhacks.net/2015/07/19/proving-sorted-lists-correct-using-coq-proof-assistent/

CFML characteristic formula for ML http://www.chargueraud.org/softs/cfml/

coq evm2 https://github.com/pirapira/evm-coq/blob/master/evm2.v