scilla
There are 34 repositories under scilla topic.
Zilliqa/scilla
Scilla - A Smart Contract Intermediate Level Language
Zilliqa/kaya
RPC Server for Zilliqa
unstoppabledomains/zns
Zilliqa Naming Service
Zilliqa/scilla-coq
State-Transition Systems for Smart Contracts
ilyasergey/scilla-demo
Scilla Examples and Exercises
Zilliqa/scilla-rtl
Execute Scilla code compiled by the Scilla -> LLVM compiler.
Zilliqa/scilla-compiler
Compile Scilla to LLVM-IR
jagnani73/hospitatva
A distributed ledger-based blockchain implementation of the rates proposed and charged, and the commodity count by hospitals for treatment and consultancy of patients.
QVote/ZilliqaQVoteContracts
Quadratic Voting smart contracts for Zilliqa
xJQx/zilkin
ZilKin is a Scilla Contracts Deployment Tool that empowers you to deploy your Scilla contracts effortlessly via our a) Contracts Wizard (Interactive Code Generator) or b) Automatic Contract Deployment.
edison0xyz/vim-scilla
Scilla vim plugin
0cosmos/0cosmos
IP authoring system based on NFT
pungtas/DApps.tyron
Tyron SSI Protocol smart contracts on Zilliqa
RedChillies-Core/Contracts
Smart contracts for Redchillies
Zilliqa/scilla-mode
Emacs support for the Scilla programming language
starling-foundries/ZBadges
Potential future ZRC#4: ZBadges reimplementation of OpenProofs for Zilliqa
ilyasergey/scilla-benchmarks
Benchmarking suite for testing the performance of Scilla against EVM
jubnzv/scilla.nvim
A neovim plugin for Scilla.
nikhil-RGB/github-srm-blockchain-event
SCILLA file for blockchain demonstration event @GitHub communitySRM
starling-foundries/zilliqa-bouncer
A bouncer proxy implementation designed to enable zilliqa metatransaction processing
anton-trunov/scilla-posts
Blog posts about Scilla language (https://scilla-lang.org)
man15h/language-scilla
Adds syntax highlighting and snippets to Scilla files in Atom. (WIP)
ReToken-Co/zilliqa-app
A Simple Zilliqa Project on House Rental
bareconsortium/blockchain_game
By 2023's close, a colossal $300 billion flows into digital ads. Through the power of blockchain and smart contracts, we aspire to channel a fraction of this sum, fostering direct engagement between enterprises and their clients, and inspiring trust and cooperation.
ConstOrganization/envizion-contracts
Contracts in EnviZion ecosystem.
nickyharpor/CollectiveNFT
Collective NFT for Zilliqa
shiyingt/equitize-smartcontracts
capstone project 2021
ZilSBT/Zilliqa-Soulbound-Project
The Zil Soul-bound token project is one that realizes a non-transferable token that represents ones credentials and identity on chain. The project aims to provide features such as minting SBT for yourself or others , Viewing your own and other peoples SBTs.
a5hk/vscode-scilla
Scilla language support for VS Code
Pelenia/Maiden-DAO-Badges
PELE Network Maiden DAO badges
shoNagai/scilla-deploy-sample
sample for contract deploy to Zilliqa Blockchain
starling-foundries/Operator.go
A starter kit for creating json-rpc 2.0 servers acting as oracles, bouncers or operators for the zilliqa blockchain.