bamboo

Bamboo see https://github.com/cornellblockchain/bamboo (by pirapira)

Bamboo Alternatives

Similar projects and alternatives to bamboo based on common topics and language

  1. openzeppelin-contracts

    OpenZeppelin Contracts is a library for secure smart contract development.

  2. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo
  3. LiquidityPoolExample

    Example Certora verification for a simple multi-contract system

  4. Tutorials

    1 bamboo VS Tutorials

    Discontinued Practical tutorials of Certora Prover (by Certora)

  5. reentrancy-attacks

    A chronological and (hopefully) complete list of reentrancy attacks to date.

  6. mazeppa

    1 bamboo VS mazeppa

    A modern supercompiler for call-by-value functional languages

  7. schmu

    3 bamboo VS schmu

    programming with second class references

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better bamboo alternative or higher similarity.

bamboo discussion

Log in or Post with

bamboo reviews and mentions

Posts with mentions or reviews of bamboo. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-12-02.

Stats

Basic bamboo repo stats
1
323
10.0
about 3 years ago

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.


Sponsored
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com