您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. awesome-objective-c:很棒的Objective-C框架,库和软件的精选列表-源码

  2. 很棒的目标c 精选的Objective-C框架,库和软件的精选清单。 -Realm是一个移动数据库:Core Data和SQLite的替代品 -Mac微信功能/微信插件/微信小助手(Mac WeChat插件) 一个iOS / OSX桥,用于在UIWebViews / WebViews中的Obj-C和Javascr ipt之间发送消息 -SQLite周围的可可/ Objective-C包装器 用于Swift和Objective-C的颜色框架(渐变颜色,十六进制代码支持,图像颜色等等)。
  3. 所属分类:其它

    • 发布日期:2021-02-13
    • 文件大小:51200
    • 提供者:weixin_42128537
  1. awesome-cpp:精选的C ++框架,库和软件的清单-源码

  2. 很棒的cpp 精选的C ++框架,库和软件的清单。 -Caffe:深度学习的快速开放框架。 基于C的gRPC(C ++,Python,Ruby,Objective-C,PHP,C#) 亲爱的ImGui:C ++的无膨胀图形用户界面,具有最小的依赖性 用于现代C ++的JSON -Windows的可爱控制台模拟器程序包 -Windows计算器:Windows附带的一个简单而强大的计算器 适用于Python,R,Java,Scala,C ++等的可扩展,便携式和分布式渐变增强(GBD
  3. 所属分类:其它

    • 发布日期:2021-02-12
    • 文件大小:52224
    • 提供者:weixin_42140846
  1. awesome-c-sharp:很棒的C-Sharp框架,库和软件的精选列表-源码

  2. 很棒的C锐度 精选的C-Sharp框架,库和软件的清单。 -CodeHub是使用Xamarin编写的iOS应用程序 在Linux Windows和macOS上运行的跨平台.NET示例微服务和基于容器的应用程序。 由.NET 5,Docker容器和Azure Kubernetes服务提供支持。 通过Docker CLI,dotnet CLI,VS Code或任何其他代码编辑器支持Visual Studio,VS for Mac和基于CLI的环境。 借助量子力学的思想,从单个示例生成位图和图块
  3. 所属分类:其它

    • 发布日期:2021-02-12
    • 文件大小:58368
    • 提供者:weixin_42120405
  1. awesome-java:精选的Java框架,库和软件清单-源码

  2. 很棒的Java 精选的Java框架,库和软件清单。 - :books:技术面试必备基础知识,Leetcode,计算机操作系统,计算机网络,系统设计,Java,Python,C ++ “ Java学习+面试指南”在Java程序员所需要掌握的核心知识上作了大量准备。准备Java面试,首选JavaGuide! 用Java实现的设计模式 开源,分布式,RESTful搜索引擎 -Spring Boot :face_with_open_mouth:互联网Java工程师进阶知识完全扫盲:涵
  3. 所属分类:其它

    • 发布日期:2021-02-11
    • 文件大小:61440
    • 提供者:weixin_42160424
  1. awesome-coq:精选的Coq框架,库和软件的精选清单-源码

  2. 很棒的 精选的Coq框架,库和软件的精选清单。 经过正式认证的CompCert C编译器 此coq库旨在使用单价观点形式化大量数学。 -Coq中用于个人学习和实践工作的范畴论的无公理形式化 用于正式验证Coq中的分布式系统实现的框架 数学组件 您希望Coq手册告诉您的技巧 将Haskell源代码转换为Coq源代码 -Vellvm(已验证LLVM)coq开发。 - 对Coq中单价数学基础的原始发展 -FSCQ是在Coq中编写并证明的经过认证的文件系统 使用Coq证明助手进行定理证明的
  3. 所属分类:其它

    • 发布日期:2021-02-08
    • 文件大小:5120
    • 提供者:weixin_42164931
  1. awesome-c:精选的C框架,库和软件的精选清单-源码

  2. 棒极了 精选的C框架,库和软件的精选清单。 显示和控制您的Android设备 -Git源代码镜像-这是仅发布的存储库,所有拉取请求都将被忽略。 请按照文档/提交补丁程序中的步骤进行任何改进。 -OBS Studio-用于实时流媒体和屏幕录制的免费和开源软件 - 镜像 一种类似于ack的代码搜索工具,但速度更快。 一种用于使用URL语法传输数据的命令行工具和库,支持DICT,FILE,FTP,FTPS,GOPHER,GOPHERS,HTTP,HTTPS,IMAP,IMAPS,LDAP
  3. 所属分类:其它

    • 发布日期:2021-02-07
    • 文件大小:47104
    • 提供者:weixin_42099755