scilla
Scilla - A Smart Contract Intermediate Level Language (by Zilliqa)
shardscript
A language for cloud functions [Moved to: https://github.com/shardscript/shardscript] (by tsikhe)
scilla | shardscript | |
---|---|---|
1 | 2 | |
241 | 5 | |
-0.4% | - | |
1.6 | 10.0 | |
about 1 month ago | 8 months ago | |
OCaml | Kotlin | |
GNU General Public License v3.0 only | MIT License |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
scilla
Posts with mentions or reviews of scilla.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-06-05.
-
Language without loops and recursion
Repo: https://github.com/Zilliqa/scilla
shardscript
Posts with mentions or reviews of shardscript.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-06-05.
-
Language without loops and recursion
I made a language without recursion, it just has loops. It uses dependent types to calculate the cost of executing any program. It was about 3 years ago that I worked on it. It's not really open source but you can read the source code.
-
Finding How to Terminate Without Loops...
I made a language a few years ago where every expression/program in the language is guaranteed total. It's not open source but it is source available, you can read the code and copy what it does.
What are some alternatives?
When comparing scilla and shardscript you can also consider the following projects:
dhall-lang - Maintainable configuration files
ConCert - A framework for smart contract verification in Coq
merkletreejs-solidity - Construct merkle trees with MerkleTree.js and verify merkle proofs in Solidity.
reason - Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
karamel - KaRaMeL is a tool for extracting low-level F* programs to readable C code
mina - Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.