Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with scilla

A curated list of projects in awesome lists tagged with scilla .

https://github.com/zilliqa/scilla

Scilla - A Smart Contract Intermediate Level Language

blockchain ocaml scilla smart-contracts verification zilliqa

Last synced: 17 Dec 2024

https://github.com/Zilliqa/scilla

Scilla - A Smart Contract Intermediate Level Language

blockchain ocaml scilla smart-contracts verification zilliqa

Last synced: 15 Nov 2024

https://github.com/ilyasergey/scilla-demo

Scilla Examples and Exercises

scilla smart-contracts tutorial zilliqa

Last synced: 05 Dec 2024

https://github.com/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.

reactjs scilla tailwindcss typescript

Last synced: 28 Oct 2024

https://github.com/zilliqa/scilla-mode

Emacs support for the Scilla programming language

emacs major-mode scilla smart-contracts zilliqa

Last synced: 06 Nov 2024

https://github.com/ilyasergey/scilla-benchmarks

Benchmarking suite for testing the performance of Scilla against EVM

benchmarks evm oopsla19 scilla smart-contracts zilliqa

Last synced: 05 Dec 2024

https://github.com/jubnzv/scilla.nvim

A neovim plugin for Scilla.

neovim neovim-plugin scilla

Last synced: 07 Dec 2024

https://github.com/anton-trunov/scilla-posts

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

blog scilla zilliqa

Last synced: 06 Nov 2024