OCaml ecosystem

来自开放百科 - 灰狐
2021年12月30日 (四) 08:58Allen (讨论 | 贡献)的版本

(差异) ←上一版本 | 最后版本 (差异) | 下一版本→ (差异)
跳转到: 导航, 搜索

OCaml & Coq ecosystem

OCaml-Logo.png

目录

基金会

项目集

用户服务商

语言编译器

开发者

OCaml & Coq 核心开发者

类型系统

包管理

插件模块化

DevOps

代码测试、代码质量、代码安全、DevOps ...

桌面IDE

图形GUI

REST API

Web应用

网络系统

网络、服务器、系统编程

数据科学

金融交易

人工智能

数学物理

并发并行

并行、并发、异步以及分布式、云计算

音乐视频

游戏

移动App

实时嵌入式

安全密码学

区块链

FRP流计算

大数据、流计算、Functional Reactive Programming (FRP) 使用可组合的事件和随时间变化的值,将交互式系统描述为纯函数。

数据库存储

操作系统

机器人

硬件芯片

涉及 proof assistant、软硬件规范、形式化语言、定理验证等领域 Formal-Verification.png

图集

链接

分享您的观点
个人工具
名字空间

变换
操作
导航
工具箱