s-tikhomirov / smart-contract-languagesView external linksLinks
A curated collection of resources on smart contract programming languages
☆249Jan 28, 2026Updated 2 weeks ago
Alternatives and similar repositories for smart-contract-languages
Users that are interested in smart-contract-languages are comparing it to the libraries listed below
Sorting:
- Functional Programming for Ethereum: Intro and Resources☆66Jan 27, 2017Updated 9 years ago
- generate snark proofs in browser - batteries included☆12Nov 11, 2022Updated 3 years ago
- Scilla - A Smart Contract Intermediate Level Language☆250May 20, 2025Updated 8 months ago
- Your 🟣 Pussy☆12Jul 22, 2024Updated last year
- core semantic libs☆12Nov 10, 2024Updated last year
- Contracts for cyberGift execution☆13Mar 4, 2024Updated last year
- DACO - Decentralized autonomous charity organization☆10Dec 11, 2017Updated 8 years ago
- The Flint Programming Language for Smart Contracts☆247Dec 4, 2022Updated 3 years ago
- A collection of papers about new models and applications of mobile process calculi☆12Jan 2, 2020Updated 6 years ago
- Gas metering injector for eWASM in Golang.☆12Jul 29, 2019Updated 6 years ago
- ☆42Oct 19, 2021Updated 4 years ago
- A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety☆424Apr 2, 2021Updated 4 years ago
- Sagan is an observability tool for Cosmos and other Tendermint applications☆37May 16, 2023Updated 2 years ago
- ☆16Oct 29, 2022Updated 3 years ago
- Tool to manage local gaiad instances - without docker☆13May 21, 2025Updated 8 months ago
- Rust implementation of Waku v2 (f.k.a. Whisper)☆17Jul 17, 2022Updated 3 years ago
- DeFi risk analysis as an ApeWorX plugin☆15Aug 22, 2023Updated 2 years ago
- Compiler for BitML☆27Mar 10, 2022Updated 3 years ago
- Overview of the formal verification projects in the Ethereum ecosystem.☆336Mar 26, 2025Updated 10 months ago
- Parity Multisig Vulnerability - White Hat Group Rescue Reconciliation☆16Aug 1, 2017Updated 8 years ago
- Demos of rust-libp2p☆17May 12, 2023Updated 2 years ago
- Use-cases for Interchain NFTs and Metadata☆13Mar 11, 2021Updated 4 years ago
- Solidity upgradeable contracts proxy based on unstructured storage pattern☆15Nov 20, 2024Updated last year
- Bamboo see https://github.com/cornellblockchain/bamboo☆324Mar 24, 2022Updated 3 years ago
- A Rust implementation of the Cosmos SDK☆32Jan 23, 2025Updated last year
- Circuit compiler for zkSNARKs☆476Apr 29, 2023Updated 2 years ago
- The Pact Smart Contract Language☆609Oct 10, 2025Updated 4 months ago
- ErgoScript compiler and ErgoTree Interpreter implementation for Ergo blockchain☆67Jan 12, 2026Updated last month
- utilities for more granular and realistic gas measuring in forge tests☆30Feb 9, 2024Updated 2 years ago
- An example re-entrancy attack on a flashloan vault.☆15Nov 25, 2022Updated 3 years ago
- Rust client framework for interacting with CometBFT☆21Aug 4, 2025Updated 6 months ago
- LayerZero Contracts for Relay Endpoint☆21Aug 2, 2022Updated 3 years ago
- Foundations of cybics☆15Sep 25, 2021Updated 4 years ago
- Minimal Ethereum delegatecall proxies☆22Dec 30, 2022Updated 3 years ago
- ☆15Sep 27, 2020Updated 5 years ago
- Semantics of Virtual Machine for IELE prototype blockchain☆131Jul 20, 2023Updated 2 years ago
- Substrate: The platform for blockchain innovators☆28Nov 14, 2022Updated 3 years ago
- ☆27Jan 3, 2023Updated 3 years ago
- Solidity Compiler for Solana, Polkadot and Stellar☆1,369Nov 15, 2025Updated 3 months ago