[其它] CuBit:SPARKAda中用于x86-64的通用，经过正式验证的64位操作系统-源码

说明：介绍 CuBitOS是一个多处理器，64位（部分）经过正式验证的通用操作系统，当前用于x86-64体系结构。 CuBit是用Ada的SPARK方言编写的。 CuBit确实是一个进步中的工作！话虽如此，请尝试一下。欢迎贡献者！ 制作说明 要求 yasm汇编程序 在您的$PATH带有gprbuild ， gnat等的GNAT CE 2020 gcc / ld / GNU make / GNU binutils 要创建可启动的.ISO，您还需要： 格鲁夫·麦克里斯库 索里索 grub-pc-bi
<weixin_42106765> 上传 | 大小：277kb

[其它] config-server2-源码

说明：config-server2
<weixin_42142062> 上传 | 大小：2kb

[其它] projekt-portfolio-源码

说明：projekt-portfolio
<weixin_42144201> 上传 | 大小：447kb

[其它] Adzedo.kjcmlj9hob.ga2Pl3G-源码

说明：Adzedo.kjcmlj9hob.ga2Pl3G
<weixin_42151305> 上传 | 大小：29kb

[其它] AtlasNew.idqmbqmaxf.gavhKCG-源码

说明：AtlasNew.idqmbqmaxf.gavhKCG
<weixin_42131633> 上传 | 大小：29kb

[其它] TrabajoPracticoIntegrador1-源码

说明：TrabajoPracticoIntegrador1
<weixin_42116847> 上传 | 大小：146kb

[其它] Hapi-NodeJs-framework-with-Mongoose-源码

说明：带有Mongoose的Hapi NodeJs框架
<weixin_42132354> 上传 | 大小：33kb

[其它] useful-command-源码

说明：useful-command
<weixin_42122432> 上传 | 大小：1kb

[其它] PCVK_Genap_2021-源码

说明：PCVK_Genap_2021
<weixin_42118056> 上传 | 大小：8mb

[其它] Bot-源码

说明：Bot
<weixin_42110070> 上传 | 大小：15kb

[其它] planned-server-源码

说明：计划服务器
<weixin_42128141> 上传 | 大小：420kb

[其它] Online-Shop-源码

说明：Create React App入门 该项目是通过引导的。 可用脚本 在项目目录中，可以运行： yarn start 在开发模式下运行应用程序。打开在浏览器中查看它。 如果您进行编辑，则页面将重新加载。您还将在控制台中看到任何棉绒错误。 yarn test 在交互式监视模式下启动测试运行器。有关更多信息，请参见关于的部分。 yarn build 构建生产到应用程序build文件夹。它在生产模式下正确捆绑了React，并优化了构建以获得最佳性能。 生成被最小化，并且文件名包括哈希值。您的应用已准备
<weixin_42160278> 上传 | 大小：741kb