Awesome Open Source

Programming Languages

Search results for scilla

11 search results found

Scilla - A Smart Contract Intermediate Level Language

RPC Server for Zilliqa

Scilla Coq ⭐ 24

State-Transition Systems for Smart Contracts

Zilliqa Naming Service

Scilla Vanilla ⭐ 21

Scilla Rtl ⭐ 8

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

Scilla Demo ⭐ 7

Scilla Examples and Exercises

Scilla Compiler ⭐ 7

Compile Scilla to LLVM-IR

Zilliqaqvotecontracts ⭐ 6

Quadratic Voting smart contracts for Zilliqa

Vim Scilla ⭐ 5

Scilla vim plugin

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.

Related Searches

Zilliqa Scilla (14)

Smart Contracts Scilla (9)

Contracts Scilla (7)

Javascript Scilla (5)

1-11 of 11 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.