Zilliqa/scilla

Scilla - A Smart Contract Intermediate Level Language

OCamlRakuPerlCMakeEmacs LispShellOtherocamlsmart-contractsblockchainverificationzilliqascilla
This is stars and forks stats for /Zilliqa/scilla repository. As of 27 Apr, 2024 this repository has 240 stars and 82 forks.

Scilla: A Smart Contract Intermediate Level Language Introduction 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. Scilla imposes a structure on smart contracts that will make applications less vulnerable to attacks by eliminating certain known vulnerabilities directly at the language-level. Furthermore, the principled structure...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
MinaProtocol/ppx_optcompOCamlStarlarkOther5050
ovh/the-bastionPerlShell1.3k0830
ytnobody/PerlBeginners4-LTPerl1000
openpharma/mmrmRRich Text FormatC++710130
missuo/MTProxyShell1410420
tintinweb/smart-contract-sanctuary-celoSolidity10030
vercel/sveltekit-commerceSvelteJavaScriptOther3220530
SwiftFiddle/swiftregexSwiftJavaScriptHTML132060
peripheryapp/peripherySwiftOther4.5k01530
huri000/SwiftEntryKitSwiftOther6.4k05720