Juvix empowers developers to write code in a high-level, functional language, compile it to gas-efficient output VM instructions, and formally verify the safety of their contracts prior to deployment and execution.
Related Repositories
Dapp, Seth, Hevm, and more
Official Sonr Motor, and Highway Implementations in Go
Open IoT Framework
Zilliqa is the world's first high-throughput public blockchain platform - designed to scale to thousands of transactions per second.
Dafny is a verification-aware programming language
A statically-typed, functional typesetting system
The fast, light, and robust client for the Ethereum mainnet.
A library for doing homomorphic encryption operations on tensors
Mender over-the-air software updater client.
Dapp, Seth, Hevm, and more
Official Sonr Motor, and Highway Implementations in Go
Open IoT Framework
Zilliqa is the world's first high-throughput public blockchain platform - designed to scale to thousands of transactions per second.
Dafny is a verification-aware programming language
A statically-typed, functional typesetting system
The fast, light, and robust client for the Ethereum mainnet.
A library for doing homomorphic encryption operations on tensors
Mender over-the-air software updater client.