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
- A typed, functional language that targets the EVM.β55Updated 8 years ago
- π― speedy, parallelized, hot-reloading solidity test frameworkβ76Updated 6 years ago
- Scientists are SHOCKED by how easy it is to disrupt a $550B industry with this one weird trick!β107Updated last year
- β10Updated 6 years ago
- Notes and stuff related to the study groupβ15Updated 8 years ago
- a purescript library for the web3 apiβ128Updated 3 months ago
- An educational "toy" implementation of fully abstracted state channelsβ49Updated 8 years ago
- Elastify the Ethereum blockchainβ25Updated 6 years ago
- An Example Solidity Application Using the Chanterelle Build Toolβ43Updated 6 years ago
- Markdown documentation generator for Solidityβ34Updated 3 years ago
- Moon-Browser was a browser for decentralized applications in 2016β81Updated last year
- (OLD REPO) The command-line Ethereum army knife by DappHubβ147Updated 6 years ago
- β42Updated 8 years ago
- MakerDAO CDP management for Node.js and the browserβ24Updated 6 years ago
- Lightweight ENS resolver and libraryβ25Updated 7 years ago
- formal verification of multicollateral dai in the K frameworkβ45Updated 3 years ago
- KVyper: Semantics of Vyper in Kβ41Updated 6 years ago
- A repository for the ETHPrize website.β35Updated 2 years ago
- Language Design Community for the EVM: Intro and Resourcesβ137Updated 7 years ago
- β± Testing tool: Block & time management over RPCβ14Updated 6 years ago
- 0x protocol TypeScript monorepoβ23Updated 3 years ago
- How to pass data to another contract without calling its functions.β11Updated 7 years ago
- π³π±βοΈDutchX core smart contractsβ45Updated 5 years ago
- The Bond API.β27Updated 6 years ago
- Building a decentralised p2p meta-tx relayer network [MVP] Codename: Harbour ## We solved this problem: https://medium.com/tabookey/1-800β¦β30Updated 5 years ago
- Dappsys for allβ21Updated 4 years ago
- Minimal command-line based uPort clientβ19Updated 7 years ago
- A Lem formalization of EVM and some Isabelle/HOL proofsβ33Updated 5 years ago
- β11Updated 8 years ago
- DSL for Secure DAppsβ33Updated 2 years ago