bamboo
State transition language
A programming language designed to make state transition explicit and avoid reentrance problems in smart contracts for the Ethereum blockchain.
Bamboo see https://github.com/cornellblockchain/bamboo
324 stars
33 watching
40 forks
Language: OCaml
last commit: almost 3 years ago
Linked from 1 awesome list
bambooethereumethereum-contractevmlanguageprogramming-language
Related projects:
| Repository | Description | Stars |
|---|---|---|
| pirapira/eth-isabelle | A formalization of Ethereum's virtual machine using Isabelle/HOL and Lem language | 238 |
 qor/transition | A state machine implementation for Go, allowing developers to model and manage complex business processes in their applications. | 433 |
 flintlang/flint | Develops a new type-safe programming language for writing robust smart contracts on Ethereum. | 245 |
 thakeenathees/pocketlang | A lightweight, embeddable scripting language with a simple syntax and support for object-oriented programming. | 1,520 |
 intersectmbo/plutus | An implementation of a scripting language for the Cardano blockchain | 1,581 |
 eth-sri/zkay | Tools and language for compiling and deploying private smart contracts on the Ethereum blockchain | 83 |
 pzbitskiy/tealang | A high-level language for creating Algorand smart contracts with an imperative syntax similar to Go or JavaScript. | 37 |
 zilliqa/scilla | A principled language designed to improve the security and verifiability of smart contracts | 243 |
 erhanbaris/easylang | A simple programming language with a tiny stack-based virtual machine for fast code execution. | 25 |
 dhilipsiva/garuda | Automatically exposes Django ORM over gRPC for use in microservices written by other languages | 24 |
 japiirainen/fp | A small, experimental programming language with unique features and a Haskell implementation. | 102 |
 pikatchu/linearml | A programming language designed to write efficient parallel programs using functional principles. | 432 |
 ajaymt/silk | A statically typed imperative programming language with a focus on simplicity and flexibility, designed to be comparable to C. | 79 |
 branchtaken/hemlock | A systems programming language focused on reliable high performance parallel computation | 31 |
 vedantparanjape/simppru | Simplifies programming of PRU microcontrollers by providing a high-level language and tools for building firmware. | 67 |