f-o-a-m / chanterelle
Chanterelle -- a more functional truffle
☆80Updated 3 months ago
Alternatives and similar repositories for chanterelle
Users that are interested in chanterelle are comparing it to the libraries listed below
Sorting:
- A typed, functional language that targets the EVM.☆55Updated 8 years ago
- Notes and stuff related to the study group☆15Updated 8 years ago
- Lightweight ENS resolver and library☆25Updated 7 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago
- Scientists are SHOCKED by how easy it is to disrupt a $550B industry with this one weird trick!☆107Updated last year
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- An educational "toy" implementation of fully abstracted state channels☆49Updated 8 years ago
- ☆42Updated 8 years ago
- a purescript library for the web3 api☆128Updated 4 months ago
- Language Design Community for the EVM: Intro and Resources☆137Updated 7 years ago
- Status codes for smart contracts powering microservices for Web3☆38Updated 2 years ago
- Core uPort registry contract for linking attributes to uPort identities. DEPRECATED☆64Updated 5 years ago
- ethereum universal dapp☆27Updated 7 years ago
- The Bond API.☆27Updated 6 years ago
- ☆10Updated 6 years ago
- A library for encoding and decoding large numbers into a pronounceable, high density, string, that uses 3456 syllables as its base.☆21Updated 6 years ago
- An Example Solidity Application Using the Chanterelle Build Tool☆43Updated 7 years ago
- ☆11Updated 8 years ago
- Elastify the Ethereum blockchain☆25Updated 6 years ago
- (OLD REPO) The command-line Ethereum army knife by DappHub☆147Updated 6 years ago
- 👯 speedy, parallelized, hot-reloading solidity test framework☆76Updated 6 years ago
- 🗜️Ethereum blockchain orchestration, testing, and command line interface.☆105Updated 3 years ago
- Sikorka client and smart contract☆36Updated 2 years ago
- uPort tx funding service☆31Updated 4 years ago
- A really resilient Ethereum log awaiter in typescript☆14Updated 7 years ago
- ☆77Updated 2 years ago
- 🤙 A blockchain ETL tool to make your life better. Now that’s fuckin’ gnarly.☆119Updated 6 years ago
- The first real-time Solidity debugger☆108Updated last year
- A Lem formalization of EVM and some Isabelle/HOL proofs☆33Updated 5 years ago
- A client-side shell to interact with token-curated registries☆69Updated 3 years ago