OCaml ecosystem

2022年1月3日 (一) 02:53的版本

OCaml & Coq ecosystem

基金会

项目集

用户服务商

语言编译器

开发者

OCaml & Coq 核心开发者

类型系统

包管理

插件模块化

DevOps

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

桌面IDE

CoqIDE

图形GUI

REST API

Web应用

网络系统

网络、服务器、系统编程

数据科学

金融交易

人工智能

人工智能, 机器学习, 深度学习, 神经网络, NLP in OCaml

数学物理

并发并行

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

音乐视频

游戏

移动App

实时嵌入式

安全密码学

区块链

FRP流计算

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

数据库存储

操作系统

机器人

硬件芯片

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

Coq

图集

链接

@@ 第41行： / 第41行： @@
 ==人工智能==
+[[Artificial intelligence|人工智能]], [[machine learning|机器学习]], [[deep learning|深度学习]], [[Artificial neural network|神经网络]], [[Natural language processing|NLP]] in OCaml
 *[https://ocamlverse.github.io/content/scientific.html Machine Learning, Scientific Computing and Data Science]
+*[https://ocaml.xyz/book/nlp.html OCaml Natural Language Processing]
 ==数学物理==