GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → diem → move

diem / move

Licence: Apache-2.0 license
Home of the Move programming language

Programming Languages

rust
11053 projects
SMT
39 projects
TeX
3793 projects
shell
77523 projects
javascript
184084 projects - #8 most used programming language
Boogie
6 projects

Labels

smart-contractsblockchainverification

Projects that are alternatives of or similar to move

Ergo
The Language for Smart Legal Contracts
Stars: ✭ 108 (-13.6%)
Mutual labels:  smart-contracts, verification
Scilla
Scilla - A Smart Contract Intermediate Level Language
Stars: ✭ 186 (+48.8%)
Mutual labels:  smart-contracts, verification
Flint
The Flint Programming Language for Smart Contracts
Stars: ✭ 228 (+82.4%)
Mutual labels:  smart-contracts, verification
plasma client
Web Client for Plasma Protocol
Stars: ✭ 19 (-84.8%)
Mutual labels:  smart-contracts
bsc-genesis-contract
The genesis contracts of BNB Smart Chain.
Stars: ✭ 321 (+156.8%)
Mutual labels:  smart-contracts
storm-spec
Specification for Storm: L2/L3 distributed storage and messaging with economic incentivisation leveraging LNP/BP ecosystem
Stars: ✭ 62 (-50.4%)
Mutual labels:  smart-contracts
fastapi-cloudauth
Simple integration between FastAPI and cloud authentication services (AWS Cognito, Auth0, Firebase Authentication).
Stars: ✭ 221 (+76.8%)
Mutual labels:  verification
ERC884-reference-implementation
An Interface and Reference Implementation of the ERC-884 DGCL Token.
Stars: ✭ 42 (-66.4%)
Mutual labels:  smart-contracts
sputnik-dao-contract
Smart contracts for https://app.astrodao.com
Stars: ✭ 81 (-35.2%)
Mutual labels:  smart-contracts
kleros
Kleros smart contracts
Stars: ✭ 203 (+62.4%)
Mutual labels:  smart-contracts
blockstarter
This is a white label solution to create a contribution crypto-wallet that can be used in your ICO campaign.
Stars: ✭ 21 (-83.2%)
Mutual labels:  smart-contracts
tvdapp
Blockchain DApp using React, Next.js and MobX
Stars: ✭ 66 (-47.2%)
Mutual labels:  smart-contracts
mai-protocol
A Protocol for trading decentralized derivatives on Ethereum
Stars: ✭ 22 (-82.4%)
Mutual labels:  smart-contracts
wyvern-ethereum
Project Wyvern Ethereum Smart Contracts
Stars: ✭ 209 (+67.2%)
Mutual labels:  smart-contracts
contracts
The Consumer Contract Wallet
Stars: ✭ 88 (-29.6%)
Mutual labels:  smart-contracts
go-journal
Verified, concurrent, crash-safe transaction system
Stars: ✭ 28 (-77.6%)
Mutual labels:  verification
etherbrite
🗓 Clone eventbrite on Ethereum, built in Solidity, TruffleJS, Web3js and React/Redux.
Stars: ✭ 19 (-84.8%)
Mutual labels:  smart-contracts
NEO-Tutorial
Learning NEO Step by Step
Stars: ✭ 26 (-79.2%)
Mutual labels:  smart-contracts
project web3.0
This is a code repository for the corresponding video tutorial. In this video, we're going to build a Web 3.0 React Solidity Blockchain Application
Stars: ✭ 2,690 (+2052%)
Mutual labels:  smart-contracts
munta
Fully verified model checker for realtime systems
Stars: ✭ 14 (-88.8%)
Mutual labels:  verification
View All Similar Projects ➔
Diem Logo

License Discord chat

The Move Language

Move is a new programmable platform for blockchains and other applications where safety and correctness are paramount. It is an executable bytecode language designed to provide safe and verifiable transaction-oriented computation. The language features a strong type system with linear resource types, runtime checks, and formal verification.

Community

  • Browse code and content from the community at awesome-move.

License

Move is licensed as Apache 2.0.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].