Skip to content

Commit

Permalink
Update Move
Browse files Browse the repository at this point in the history
  • Loading branch information
yanganto committed Nov 15, 2024
1 parent 422c90a commit 07c016d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion readme.md
Original file line number Diff line number Diff line change
Expand Up @@ -273,7 +273,7 @@
- [Coq](https://github.com/coq-community/awesome-coq#readme) - Formal language and environment for programming and specification which facilitates interactive development of machine-checked proofs.
- [V](https://github.com/vlang/awesome-v#readme) - Simple, fast, safe, compiled language for developing maintainable software.
- [Zig](https://github.com/catdevnull/awesome-zig#readme) - General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
- [Move](https://github.com/MystenLabs/awesome-move#readme) - Domain-specific programming language for writing safe smart contracts.
- [Move](https://github.com/sui-foundation/awesome-sui#README) - Domain-specific programming language for writing safe smart contracts work on Sui, etc.
- [Esolangs](https://github.com/angrykoala/awesome-esolangs#readme) - Programming languages designed for experimentation or as jokes rather than actual use.

<br>
Expand Down

0 comments on commit 07c016d

Please sign in to comment.