#

scilla

Here are 33 public repositories matching this topic...

Zilliqa / scilla

Scilla - A Smart Contract Intermediate Level Language

ocaml smart-contracts blockchain verification zilliqa scilla

Updated Nov 6, 2024
OCaml

Zilliqa / kaya

RPC Server for Zilliqa

testrpc zilliqa scilla

Updated May 9, 2021
JavaScript

unstoppabledomains / zns

Zilliqa Naming Service

domain zns blockchian zilliqa scilla unstoppable name-service

Updated Jul 18, 2023
TypeScript

Zilliqa / scilla-coq

State-Transition Systems for Smart Contracts

automata smart-contracts coq formal-verification zilliqa scilla

Updated Sep 3, 2020
Coq

merkaliser / scilla-vanilla

smart-contracts sharding zilliqa scilla

Updated Jan 9, 2019
Shell

ilyasergey / scilla-demo

Scilla Examples and Exercises

tutorial smart-contracts zilliqa scilla

Updated Nov 13, 2018
Shell

Zilliqa / scilla-rtl

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

runtime-library scilla scilla-compiler scilla-rtl

Updated Jul 7, 2022
C++

Zilliqa / scilla-compiler

Compile Scilla to LLVM-IR

llvm llvm-ir scilla scilla-compiler scilla-vm

Updated Oct 17, 2022
OCaml

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.

typescript reactjs tailwindcss scilla

Updated Jan 19, 2023
TypeScript

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.

nodejs python aws typescript tensorflow nextjs scikit-learn zilliqa scilla serverless-stack

Updated Jul 1, 2022
TypeScript

QVote / ZilliqaQVoteContracts

Quadratic Voting smart contracts for Zilliqa

open-source decision dapp smart-contracts vote election zilliqa scilla governance-dapps quadratic-voting decentralized-governance registration-period

Updated Apr 26, 2021
TypeScript

edison0xyz / vim-scilla

Scilla vim plugin

Updated Oct 14, 2021
Vim Script

Zilliqa / scilla-mode

Emacs support for the Scilla programming language

emacs smart-contracts major-mode zilliqa scilla

Updated Nov 5, 2019
Emacs Lisp

0cosmos / 0cosmos

IP authoring system based on NFT

dao zil nft zilliqa scilla 0cosmos meta-universe ipdao

Updated Jul 30, 2021

pungtas / DApps.tyron

Tyron SSI Protocol smart contracts on Zilliqa

smart-contracts blockchain ssi did decentralized-applications zilliqa self-sovereign-identity scilla decentralized-identity decentralized-identifiers w3c-did tyron-ssi-protocol ssiprotocol

Updated Aug 9, 2023
JavaScript

Contracts

RedChillies-Core / Contracts

Smart contracts for Redchillies

gaming dapp smart-contracts blockchain zilliqa scilla

Updated May 18, 2022

starling-foundries / ZBadges

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

badges zilliqa scilla

Updated Aug 26, 2021
JavaScript

github-srm-blockchain-event

nikhil-RGB / github-srm-blockchain-event

SCILLA file for blockchain demonstration event @github communitySRM

blockchain scilla

Updated Jun 10, 2022

ilyasergey / scilla-benchmarks

Benchmarking suite for testing the performance of Scilla against EVM

smart-contracts benchmarks evm zilliqa scilla oopsla19

Updated Jun 21, 2022
Python

jubnzv / scilla.nvim

A neovim plugin for Scilla.

neovim neovim-plugin scilla

Updated Jan 24, 2023
Lua

Improve this page

Add a description, image, and links to the scilla topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the scilla topic, visit your repo's landing page and select "manage topics."