Here are 6,348 public repositories matching this topic "programming-language"
Repository Created on September 4, 2017, 9:38 pm
An experimental programming language created by Heliax as a first step toward creating more robust and reliable alternatives for formally verified smart contracts than existing languages.
Last updated on January 24, 2023, 11:18 am
Repository Created on April 27, 2020, 9:45 pm
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
Last updated on January 27, 2023, 3:24 pm
Repository Created on December 26, 2020, 2:46 pm
:octocat:🌟 The Ultimate resources for beginner to advance level projects all at one place 💻 🎯🚀
Last updated on January 26, 2023, 4:06 pm