scilla

There are 0 repository under scilla topic.

• Zilliqa / scilla

  Scilla - A Smart Contract Intermediate Level Language

  smart-contractsblockchainverificationzilliqascillaocaml
  Language:OCaml 241

• Zilliqa / kaya

  RPC Server for Zilliqa

  zilliqascillatestrpc
  Language:JavaScript 39

• unstoppabledomains / zns

  Zilliqa Naming Service

  znsscillablockchianzilliqaunstoppabledomainname-service
  Language:TypeScript 29

• Zilliqa / scilla-coq

  State-Transition Systems for Smart Contracts

  smart-contractsformal-verificationcoqautomatazilliqascilla
  Language:Coq 24

• merkaliser / scilla-vanilla

  zilliqascillashardingsmart-contracts
  Language:Shell 20

• ilyasergey / scilla-demo

  Scilla Examples and Exercises

  scillasmart-contractstutorialzilliqa
  Language:Shell 8

• Zilliqa / scilla-compiler

  Compile Scilla to LLVM-IR

  llvm-irscilla-compilerscillallvmscilla-vm
  Language:OCaml 8

• Zilliqa / scilla-rtl

  Execute Scilla code compiled by the Scilla -> LLVM compiler.

  scillascilla-compilerscilla-rtlruntime-library
  Language:C++ 8

• 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.

  awsnextjsnodejsscikit-learnpythonscillaserverless-stacktensorflowtypescriptzilliqa
  Language:TypeScript 6

• QVote / ZilliqaQVoteContracts

  Quadratic Voting smart contracts for Zilliqa

  open-sourcezilliqagovernance-dappsdecentralized-governancedappscillasmart-contractselectionvoteregistration-perioddecisionquadratic-voting
  Language:TypeScript 6

• 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.

  reactjsscillatailwindcsstypescript
  Language:TypeScript 6

• edison0xyz / vim-scilla

  Scilla vim plugin

  vimscilla
  Language:Vim Script 5

• 0cosmos / 0cosmos

  IP authoring system based on NFT

  0cosmosnftmeta-universeipdaodaozilzilliqascilla
  4

• pungtas / DApps.tyron

  Tyron SSI Protocol smart contracts on Zilliqa

  ssiself-sovereign-identitydiddecentralized-identifiersdecentralized-identitydecentralized-applicationszilliqascillatyron-ssi-protocolssiprotocolw3c-didsmart-contractsblockchain
  Language:JavaScript 4
• Contracts

  RedChillies-Core / Contracts

  Smart contracts for Redchillies

  blockchaindappgamingsmart-contractszilliqascilla
  4

• Zilliqa / scilla-mode

  Emacs support for the Scilla programming language

  scillaemacsmajor-modesmart-contractszilliqa
  Language:Emacs Lisp 4

• starling-foundries / ZBadges

  Potential future ZRC#4: ZBadges reimplementation of OpenProofs for Zilliqa

  zilliqabadgesscilla
  Language:JavaScript 3

• ilyasergey / scilla-benchmarks

  Benchmarking suite for testing the performance of Scilla against EVM

  benchmarksevmoopsla19scillasmart-contractszilliqa
  Language:Python 2

• jubnzv / scilla.nvim

  A neovim plugin for Scilla.

  neovimneovim-pluginscilla
  Language:Lua 2
• github-srm-blockchain-event

  nikhil-RGB / github-srm-blockchain-event

  SCILLA file for blockchain demonstration event @GitHub communitySRM

  blockchainscilla
  2

• ReToken-Co / zilliqa-app

  A Simple Zilliqa Project on House Rental

  blockchainzilliqascillareactjszilpay
  Language:JavaScript 2

• starling-foundries / zilliqa-bouncer

  A bouncer proxy implementation designed to enable zilliqa metatransaction processing

  zilliqametatransactionssmart-contractsblockchainscilla
  Language:JavaScript 2

• man15h / language-scilla

  Adds syntax highlighting and snippets to Scilla files in Atom. (WIP)

  scillazilliqaatomatom-language-supportcson
  1

• 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.

  blockchain-gamechainlinklinkoraclescillazilliqazilliqa-blockchain
  0

• machine-economy / zilliqa-dapp

  dappzilliqascillablockchain
  0

• nickyharpor / CollectiveNFT

  Collective NFT for Zilliqa

  blockchainscillasmart-contractzilliqa
  Language:TypeScript 0

• shiyingt / equitize-smartcontracts

  capstone project 2021

  scilla
  Language:JavaScript 0

• 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.

  scillatypescript
  Language:TypeScript 0

• a5hk / vscode-scilla

  Scilla language support for VS Code

  scillavscode-extension

• anton-trunov / scilla-posts

  Blog posts about Scilla language (https://scilla-lang.org)

  scillablogzilliqa

• ConstOrganization / envizion-contracts

  Contracts in EnviZion ecosystem.

  metaverseblockchainzilliqascilla

• Pelenia / Maiden-DAO-Badges

  PELE Network Maiden DAO badges

  daobadgesscillazilliqa
  Language:JavaScript

• shoNagai / scilla-deploy-sample

  sample for contract deploy to Zilliqa Blockchain

  scillazilliqa
  Language:JavaScript

• starling-foundries / Operator.go

  A starter kit for creating json-rpc 2.0 servers acting as oracles, bouncers or operators for the zilliqa blockchain.

  scillagolangzilliqa
  Language:Go