OCaml ecosystem

2022年1月2日 (日) 07:42的版本

OCaml & Coq ecosystem

基金会

项目集

• Awesome OCaml
• Awesome Coq awesome-coq

用户服务商

语言编译器

开发者

OCaml & Coq 核心开发者

类型系统

包管理

插件模块化

DevOps

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

桌面IDE

• CoqIDE

图形GUI

REST API

Web应用

网络系统

网络、服务器、系统编程

数据科学

金融交易

人工智能

• Machine Learning, Scientific Computing and Data Science

数学物理

并发并行

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

音乐视频

游戏

移动App

实时嵌入式

安全密码学

区块链

FRP流计算

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

数据库存储

操作系统

机器人

硬件芯片

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

• Coq

图集

链接