Scilla Alternatives

Similar projects and alternatives to scilla

• dhall-lang

  113 4,133 6.0 Dhall scilla VS dhall-lang

  Maintainable configuration files

  

• ConCert

  1 108 8.0 Coq scilla VS ConCert

  A framework for smart contract verification in Coq

  

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• shardscript

  2 5 10.0 Kotlin scilla VS shardscript

  Discontinued A language for cloud functions [Moved to: https://github.com/shardscript/shardscript]

  

• merkletreejs-solidity

  1 103 1.9 JavaScript scilla VS merkletreejs-solidity

  Discontinued Construct merkle trees with MerkleTree.js and verify merkle proofs in Solidity.

• reason

  44 10,056 5.8 OCaml scilla VS reason

  Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

  

• karamel

  1 384 9.3 OCaml scilla VS karamel

  KaRaMeL is a tool for extracting low-level F* programs to readable C code

  

• mina

  9 1,938 10.0 OCaml scilla VS mina

  Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security. (by MinaProtocol)

  

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives