Merge e4c94a1719755f0cfb637379529713f0e855db52 into f4a2c36f1fe1b9d5a0784de816b749e2f6e01add

This commit is contained in:
Antonio Yang 2025-03-14 02:09:15 +09:00 committed by GitHub
commit f02396bfa5
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -269,7 +269,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#move-ides) on Sui - Domain-specific programming language for writing safe smart contracts works on Sui.
- [Esolangs](https://github.com/angrykoala/awesome-esolangs#readme) - Programming languages designed for experimentation or as jokes rather than actual use.
<br>
@ -724,6 +724,7 @@
- [ZeroNet](https://github.com/zolagonano/awesome-zeronet#readme) - A decentralized web-like network of peer-to-peer users.
- [Cosmos SDK](https://github.com/cosmos/awesome-cosmos#readme) - Modular framework for building app-specific blockchains in Go.
- [Tor](https://github.com/polycarbohydrate/awesome-tor#readme) - A free overlay network for enabling anonymous communication.
- [Sui](https://github.com/sui-foundation/awesome-sui#readme) - A programmable and composable blockchain powered by the Move language.
## Health and Social Science