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/C++技术面试基础知识总结,包括语言、程序库、数据结构、算法、系统、网络、链接装载库等知识及面试经验、招聘、内推等信息。 本资源库...
一个现代的、可移植的、易于使用的密码库。
嵌入式固件控制系统工具箱(纯C和GNU Octave)