基于Coq证明助手的编程语言和编译器形式化工具集合 项目活动 请参阅所有活动> 类别框架,编译器,数学 许可证许可协议 跟随Lambda Tamer Lambda Tamer网站 你可能也喜欢 开源。易于使用。经过证实的。完成。 端到端的大数据使您能够花更少的时间格式化数据，而更多的时间分析数据。 探索HPCC系统-真正的开源大数据解决方案，允许您快速处理、分析和理解大型数据集，甚至存储在大规模混合模式数据池中的数据。HPCC系统由数据科学家设计，是从数据接收、数据处理到数据交付的完整集成解决方案。免费的在线入门课程和强大的开发人员社区让您快速入门。 今天免费试用！ 评价此项目登录以评估此项目 用户评论 成为第一个发表评论Lambda Tamer的！ 其他项目详细信息 操作系统Linux操作系统,BSD公司 目标受众科学/研究、开发人员 程序设计语言OCaml（目标凸轮） 相关类别 OCaml（目标凸轮）框架,OCaml（Objective Caml）编译器,OCaml（Objective Caml）数学软件 已注册 2006-08-23 报告不适当的内容
