Bamboo Alternatives
Similar projects and alternatives to bamboo based on common topics and language
-
openzeppelin-contracts
OpenZeppelin Contracts is a library for secure smart contract development.
-
reentrancy-attacks
A chronological and (hopefully) complete list of reentrancy attacks to date.
-
SonarLint
Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.
-
-
LiquidityPoolExample
Example Certora verification for a simple multi-contract system
-
-
ethcontracts
Readymade ethereum contracts implementation with support for all ethereum library.
-
zkay
zkay is a programming language which enables automatic compilation of intuitive data privacy specifications to Ethereum smart contracts leveraging (homomorphic) encryption and non-interactive zero-knowledge (NIZK) proofs. This repository provides a toolchain for compiling, deploying and using zkay contracts. ZeeStar is also the upgraded version of zkay.
-
InfluxDB
Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.
bamboo reviews and mentions
-
A look into formal verification of smart contracts using Certora
Understanding a smart contract as a finite-state machine (obligatory mention to Yoichi's bamboo, my favorite smart contract programming language that never happened) allows us to define clear rules on:
Stats
pirapira/bamboo is an open source project licensed under Apache License 2.0 which is an OSI approved license.