Similar projects and alternatives to bamboo based on common topics and language
OpenZeppelin Contracts is a library for secure smart contract development.
A chronological and (hopefully) complete list of reentrancy attacks to date.
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.
Practical tutorials of Certora Prover (by Certora)
Example Certora verification for a simple multi-contract system
A WIP programming language inspired by ML and powered by LLVM
Readymade ethereum contracts implementation with support for all ethereum library.
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.
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
5 projects | dev.to | 2 Dec 2022
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:
pirapira/bamboo is an open source project licensed under Apache License 2.0 which is an OSI approved license.