bamboo
by pirapira
Bamboo see https://github.com/cornellblockchain/bamboo
AI summary
State transition language
A programming language designed to make state transition explicit and avoid reentrance problems in smart contracts for the Ethereum blockchain.
- stars
- 324
- forks
- 40
- watching
- 33
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
VM formalizer
A formalization of Ethereum's virtual machine using Isabelle/HOL and Lem language
State Machine
A state machine implementation for Go, allowing developers to model and manage complex business processes in their applications.
Smart contract language
Develops a new type-safe programming language for writing robust smart contracts on Ethereum.
Scripting language
A lightweight, embeddable scripting language with a simple syntax and support for object-oriented programming.
Blockchain scripting language
An implementation of a scripting language for the Cardano blockchain
Smart contract compiler
Tools and language for compiling and deploying private smart contracts on the Ethereum blockchain
Smart contract language
A high-level language for creating Algorand smart contracts with an imperative syntax similar to Go or JavaScript.
Smart contract language
A principled language designed to improve the security and verifiability of smart contracts
Scripting language
A simple programming language with a tiny stack-based virtual machine for fast code execution.
gRPC interface
Automatically exposes Django ORM over gRPC for use in microservices written by other languages
Programming language
A small, experimental programming language with unique features and a Haskell implementation.
Parallel language
A programming language designed to write efficient parallel programs using functional principles.
C-like language
A statically typed imperative programming language with a focus on simplicity and flexibility, designed to be comparable to C.
Parallel language
A systems programming language focused on reliable high performance parallel computation
PRU compiler
Simplifies programming of PRU microcontrollers by providing a high-level language and tools for building firmware.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions bamboo.