https://github.com/diem/move

Home of the Move programming language
https://github.com/diem/move

blockchain smart-contracts verification

Last synced: 1 day ago
JSON representation

Home of the Move programming language

• Host: GitHub
• URL: https://github.com/diem/move
• Owner: diem
• License: apache-2.0
• Created: 2021-10-15T16:29:35.000Z (about 3 years ago)
• Default Branch: main
• Last Pushed: 2023-09-08T14:41:15.000Z (about 1 year ago)
• Last Synced: 2024-04-26T00:25:35.771Z (7 months ago)
• Topics: blockchain, smart-contracts, verification
• Language: Rust
• Homepage:
• Size: 108 MB
• Stars: 335
• Watchers: 31
• Forks: 131
• Open Issues: 55
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE
  • Code of conduct: CODE_OF_CONDUCT.md
  • Codeowners: .github/CODEOWNERS
  • Security: SECURITY.md

Awesome Lists containing this project