OCaml ecosystem

来自开放百科 - 灰狐
跳转到: 导航, 搜索

OCaml & Coq ecosystem

OCaml-Logo.png

目录

基金会

项目集

用户服务商

语言编译器

开发者开发商

OCaml & Coq 核心开发者、开发商

.NET

.NET 的集成和互操作

类型系统

包管理

插件模块化

DevOps

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

桌面IDE

图形GUI

REST API

Web应用

网络系统

网络、服务器、系统编程

科学计算

数据科学

金融交易

人工智能

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

数学物理

并发并行

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

音乐视频

游戏

移动App

实时嵌入式

安全密码学

区块链

  • Tezos
  • Archetype 是一种领域特定语言 (DSL),用于在 Tezos 区块链上开发智能合约,特别关注合约安全。

FRP流计算

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

数据库存储

操作系统

机器人

硬件芯片

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

图集

链接

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

变换
操作
导航
工具箱