Stars
Documentation of the Bedrock network protocol. Protocol is subject to change release over release.
Server software to power event or minigame servers
RakNet is a cross platform, open source, C++ networking engine for game programmers.
A documentation about raknet protocol out of many out there
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)