Support for Scilla smart contracts

[as1ndu]

Adding support for the Scilla programming language

Scilla, short for Smart Contract Intermediate-Level Language, is an intermediate-level smart contract language being developed for Zilliqa.

Scilla has been designed as a principled language with smart contract safety in mind.

The official Scilla website is over at https://scilla-lang.org/

• I am adding a new language.
  • The extension of the new language is used in hundreds of repositories on GitHub.com.
    • Search results for each extension:
      • https://github.com/search?q=extension%3Ascilla+%22transition%22&type=Code
      • https://github.com/search?q=extension%3Ascillib+%22let%22&type=Code
  • I have included a real-world usage sample for all extensions added in this PR:
    • Sample source(s):
      • Hello World example in Scilla
      • Library example
    • Sample license(s): https://github.com/as1ndu/scilla-grammar/blob/master/LICENSE
  • I have included a syntax highlighting grammar: https://github.com/as1ndu/scilla-grammar

[pchaigno]

Thanks for your pull request!

Unfortunately, both these extensions don't meet our in-the-wild usage requirement. There are 119 .scillib files on GitHub, so clearly not hundreds of repositories and I counted 61 repositories (by 45 users) among the 600 .scilla files using Harvester.

Is there any reason to think these numbers will grow significantly in the next few mnths? Was Scilla released not long ago for example?

[as1ndu]

Scilla has been in development for over 2 years and just went live about 2 month ago (early July)

I am confident the the number will grow significantly in the coming months.

For instance the Scilla VScode plugin I am working on now has over 400 plus downloads yet it was just released early this year.

There are also several independent projects that rely on Scilla (tending to 100) funded by their $5 million dollar grant program.

These projects are expected to either live or OpenSource by the end of the year.

There is also interest from large cooperations like NASDAQ & Pepsi Co

[pchaigno]

@as1ndu Thanks for the information! I will add these extensions to #4219 to monitor in-the-wild usage.

[Elliott-Green]

Hey @pchaigno,

Could this be reviewed again? The language and adoption has grown since OP posted. Doing a manual search without harvester I'm getting 5k files returned so I think we're meeting the in-the-wild usage now.

Thanks.

[Elliott-Green]

@lildude

Please could you offer some guidance with regards to the above. Thanks!