Hacker GitHub

← All repos

pirapira/bamboo

View on GitHub ↗ ★ 323 OCaml

Bamboo see https://github.com/cornellblockchain/bamboo

8 mentions on Hacker News by 6 people: 2 stories, 6 comments · first 2017-07-08 · latest 2018-03-24

Mentions per year 8 mentions · busiest year 2017 (6)
20082026
AllStoriesComments NewestTopOldest
  1. …I think it’s mainly focused on modelling the state changes smart contracts undergo more explicitly. https://github.com/pirapira/bamboo
    comment by davedx · 2018-03-24 · in Our suite of Ethereum security tools
  2. Bamboo is a formally verifiable programming language being developed for Ethereum: https://github.com/pirapira/bamboo The Bamboo manifest: https://github.com/pirapira/bamboo/blob/master/doc/manifest.... There is a project under way to…
    comment by CryptoPunk · 2017-11-07 · in Parity Wallet security alert
  3. …[3] https://blog.ethereum.org/2017/08/23/roundup-5/ [4] https://github.com/ethereum/viper [5] https://github.com/pirapira/bamboo
    comment by DennisP · 2017-09-30 · in Reviewing Ethereum Smart Contracts
  4. Worth mentioning that there is at least one other language being built on top of the EVM: https://github.com/pirapira/bamboo This one takes a strict state machine approach, and aims to solve some of the tricky reentry and state tracking…
    comment by theptip · 2017-07-24 · in Learn Ethereum smart contract programming
  5. …is in fact being developed [1]. Thanks for the link to the technical discussion on Solidity. [1] https://github.com/pirapira/bamboo
    comment by Jabanga · 2017-07-20 · in 153k Ether Stolen in Parity Multi-Sig Attack
  6. …Serpent and LLL are still being actively developed. Yoichi Hirai is also developing Bamboo [1]. [1] https://github.com/pirapira/bamboo
    comment by Jabanga · 2017-07-08 · in What Is Ethereum?