Awesome GitHub RepositoriesSmart Contract Languages

Sway is a smart contract development language and programming environment designed for writing, compiling, and deploying secure blockchain programs. It serves as a type-safe language for building on-chain logic and a static analysis toolchain that validates contracts before they are executed on a network. The ecosystem provides a development environment focused on blockchain application logic and web3 backend engineering. It integrates a type-safe programming approach to reduce vulnerabilities and ensure reliable state transitions for decentralized services. The toolchain incorporates static

Chia is a decentralized blockchain platform that uses a proof-of-space-and-time consensus mechanism, enabling energy-efficient farming on commodity hardware. It implements a full blockchain node, farmer, harvester, timelord, and wallet in Python, prioritizing readability and cross-platform compatibility. The platform manages transactions through a simplified UTXO model that minimizes on-chain state and supports fast validation. The project introduces Chialisp, a Turing-complete functional smart contract language designed for secure and auditable financial transactions. It features a pooling p

Xgo is a programming language that combines familiar constructs from languages like C/C++, Go, Python, and JavaScript with a natural language-style syntax that reads closer to plain English. It executes programs compatible with the Go language, allowing reuse of existing Go libraries and tooling, and supports mixing Go and XGo source files within a single package for gradual adoption of its simplified syntax. The language distinguishes itself through direct foreign function interface capabilities, enabling calls to C/C++ and Python libraries using specialized string literal syntax without man

Chainlink is a decentralized oracle network that connects smart contracts to off-chain data, computation, and real-world systems. It provides a secure and reliable infrastructure for blockchain applications to access external information, execute automated workflows, and interact with other blockchains. The network is secured by a staking-based model where node operators lock LINK tokens as collateral, which can be slashed for poor performance, incentivizing honest and accurate data delivery. The platform distinguishes itself through a comprehensive set of capabilities that extend beyond basi

go-ibax is a blockchain protocol platform and decentralized application infrastructure used to deploy networks with custom governance and token economics. It provides a foundation for building decentralized applications through a framework that integrates identity management and on-chain data storage. The project features a multilingual virtual machine capable of executing smart contracts written in Go, Rust, and Solidity. It implements a sharded blockchain network to increase throughput and a privacy layer utilizing zero-knowledge proofs and homomorphic encryption to anonymize transaction da

Sui is a blockchain platform featuring an object-centric state model and resource-oriented smart contracts. It utilizes parallel transaction execution to increase network throughput and supports programmable transaction blocks that bundle multiple operations into single atomic units. The platform distinguishes itself with a capability-based access control system and zero-knowledge login mechanisms, enabling users to authenticate via identity providers without seed phrases. It also implements deterministic object addressing to allow predictable state lookups and supports the creation of soulbo

This is an educational resource that provides a comprehensive guide to blockchain and distributed ledger technologies, covering everything from fundamental concepts to practical deployment. The guide systematically explains the core architecture of blockchain systems, including consensus-based distributed ledgers, cryptographic hash chains, Merkle trees, and smart contract execution engines, while also detailing permissioned channel architectures and modular service platforms for enterprise use. The resource distinguishes itself by offering a dual-track learning path that serves both non-tech

Processing is a creative coding environment and Java graphics library designed for writing visual sketches that produce interactive 2D and 3D graphics and animations. It runs on the Java Virtual Machine, using an OpenGL-based hardware-accelerated rendering pipeline, and operates on a sketch-based execution model where programs run as continuous loops of setup and draw functions with event-driven input handling for keyboard, mouse, and window interactions. The environment distinguishes itself as a cross-platform sketch tool that runs visual programs unchanged on desktop, web, Android, and Rasp

This is the official website and documentation hub for the Ethereum blockchain ecosystem. It serves as a comprehensive educational resource and community portal, providing plain-language guides on blockchain fundamentals, wallet usage, and concepts like DeFi and NFTs, alongside technical documentation for developers building decentralized applications. The site offers detailed walkthroughs for creating dapps that interact with the Ethereum blockchain, covering accounts, transactions, and development frameworks. It also provides extensive guidance for node operators, including step-by-step ins

Vyper is a security-focused, typed programming language and compiler designed for creating smart contracts that execute on the Ethereum Virtual Machine. It utilizes a Pythonic syntax to define contract logic and state, serving as a target for formal verification to allow for machine-checked proofs of correctness. The language distinguishes itself through strict architectural constraints that prioritize predictability and security. It enforces acyclic call graphs by prohibiting recursion and mandates bounded loops to ensure static gas prediction. Additionally, it features a native fixed-point

Anchor is a framework for building, testing, and deploying Solana smart contracts. It provides a Rust domain-specific language (DSL) that uses macro‑based instruction dispatch and derive‑macro account validation to automate ownership checks, discriminator enforcement, and serialization before instruction execution. The framework also includes a CLI toolchain for scaffolding, compiling, and managing contracts across workspaces, a test harness that simulates program execution with account manipulation and compute unit benchmarking, and an IDL generator that emits a standardized JSON interface fr

Corda एक वितरित लेजर तकनीक प्लेटफॉर्म है जिसका उपयोग निजी, इंटरऑपरेबल व्यावसायिक नेटवर्क बनाने के लिए किया जाता है। यह वैश्विक डेटा प्रसारण की आवश्यकता के बिना विशिष्ट प्रतिभागियों के बीच तथ्यों के साझा रिकॉर्ड बनाने और स्मार्ट कॉन्ट्रैक्ट्स को निष्पादित करने के लिए एक फ्रेमवर्क प्रदान करता है। यह प्लेटफॉर्म पॉइंट-टू-पॉइंट स्टेट डिस्ट्रीब्यूशन मॉडल और UTXO-आधारित लेजर के माध्यम से खुद को अलग करता है, यह सुनिश्चित करता है कि लेनदेन डेटा केवल शामिल पक्षों के बीच साझा किया जाता है ताकि सख्त गोपनीयता बनी रहे। यह Java या Kotlin में लिखे गए व्यावसायिक लॉजिक को निष्पादित करने के लिए JVM-आधारित स्मार्ट कॉन्ट्रैक्ट इंजन का उपयोग करता है और लेनदेन विशिष्टता को सत्यापित करने और डबल-स्पेंडिंग को रोकने के लिए नोटरी-आधारित तंत्र का उपयोग करता है। यह सिस्टम क्षमताओं के एक व्यापक सेट को कवर करता है, जिसमें पब्लिक की इंफ्रास्ट्रक्चर के माध्यम से सर्टिफिकेट-आधारित पहचान प्रबंधन, टोकन और वित्तीय साधनों को ट्रैक करने के लिए डिजिटल एसेट लाइफसाइकिल प्रबंधन, और मल्टी-पार्टी सर्वसम्मति के लिए वितरित वर्कफ़्लो समन्वय शामिल है। इसमें नोड इंफ्रास्ट्रक्चर निगरानी, लेजर स्टेट निरीक्षण और ओरेकल सेवाओं के माध्यम से ऑफ-लेजर डेटा के एकीकरण के लिए उपकरण भी शामिल हैं। यह प्रोजेक्ट नोड प्रबंधन के लिए एक कमांड-लाइन इंटरफेस और कॉन्ट्रैक्ट फ्लो लॉजिक और लेजर एप्लिकेशन्स को सत्यापित करने के लिए एक स्वचालित परीक्षण सूट प्रदान करता है।

Stellar Core is the primary software implementation of the Stellar blockchain network, serving as a distributed ledger and a Federated Byzantine Agreement system. It functions as a core node that maintains the shared state of the network and provides a runtime environment for executing WebAssembly smart contracts. The project enables the creation and management of digital assets, including the implementation of decentralized exchanges through distributed orderbooks and automated liquidity pools. It facilitates cross-border payment settlement by routing assets via path payments and bridging di