Checked C是对C语言的一个扩展，它让程序员编写的C语言代码被编译器保证为类型安全的。 其目的是让人们轻松地使他们现有的C代码类型安全，并消除整个类型的错误。检查过的C语言并不解决自由使用后的错误。这个 repo 有一个关于 Checked C 的 wiki、示例代码、规范和测试代码。
Ip2region (2.0 - xdb)是一个离线IP地址管理器框架和定位器，支持数十亿的数据段，十微秒的搜索性能。xdb引擎实现了许多...
😎 一个精心策划的语言列表，可以直接编译为WebAssembly，或将其虚拟机放在WebAssembly中。
Kotlin/Native基础设施
基于代码属性图的C/C++/Java/Binary/Javascript/Python/Kotlin的开源代码分析平台
如何成为低级别的程序员
跨平台IDE和Shell
简单、快速、安全、编译的语言，用于开发可维护的软件。在<1s内自行编译，对库没有依赖性。支持自动C => V翻译。https:...
一个现代的、可移植的、易于使用的密码库。
令人敬畏的流行编程语言、框架和开发工具的作弊表。它们在一个文件中包含了你应该知道的一切。
嵌入式固件控制系统工具箱（纯C和GNU Octave）