Bamboo Alternatives
Similar projects and alternatives to bamboo based on common topics and language
-
LiquidityPoolExample
Example Certora verification for a simple multi-contract system
-
openzeppelin-contracts
OpenZeppelin Contracts is a library for secure smart contract development.
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
reentrancy-attacks
A chronological and (hopefully) complete list of reentrancy attacks to date.
-
-
-
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.
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
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.
The primary programming language of bamboo is OCaml.