Beam: Scalable Confidential Cryptocurrency. Leading the way to Confidential DeFi

Smart contracts that provide some of the basic functions of the EOSIO blockchain

Syscoin is a crypto currency that is universally merge-mineable with a dual chain architecture both UTXO and EVM. The UTXO chain offers a data availability layer (Proof-Of-Data Availability) to offer censorship resistance for a rollup-driven roadmap.

A SDK for implementing blockchain-based digital currencies

Tutorial on writing smart contracts on EOS EOS智能合约教程,从零开始学习EOS智能合约, DApp安全漏洞(security)及攻击实践(EOS Contract)(Powered by Itleaks)

Global-Scale Sustainable Blockchain Fabric

Solidity compiler for TVM

Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS Accepted).

A1 is a high-level pythonic programming language for developing smart contracts on the Adamnite blockchain. With its light syntax, it primarily strives for simplicity and ease of use.

Bloq Ora multi-blockchain smart contract compute oracle and validation engine

Telos Decide is a Governance Engine for the Telos Blockchain Network.

SolidityCheck is a static code problem detection tool based on regular expressions and program instrumentation, which is developed for Ethereum smart contracts. 《计算机科学》（Computer Science）

A contract whose owner can temporaily yield control over it until a later time

Decentralized Social Media Overlay

System Contracts for the Telos Blockchain Network.

PREDA, a general programming language for parallel execution of smart contract transactions on sharding blockchains

The chain microservice is responsible for the application of blocks, running of smart contracts, and applying transactions.

PlasmaDLT Web IDE (Integrated Development Environment) for dapp developers on Plasma

EOS smart contract to verify merkle proofs

Credits(CRDS) - An Evolving Currency For An Evolving Society