OCaml ecosystem

2022年9月26日 (一) 11:27的最后版本

OCaml & Coq ecosystem

[编辑] 基金会

[编辑] 项目集

• Awesome OCaml
• Awesome Coq awesome-coq

[编辑] 用户服务商

[编辑] 语言编译器

• Opa Language for Web Application Development

[编辑] 开发者开发商

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

• Jane Street

[编辑] .NET

与 .NET 的集成和互操作

• OCaml versus F# .NET fastest programs
• CSML high-levels bindings between .NET and OCaml

[编辑] 类型系统

[编辑] 包管理

[编辑] 插件模块化

[编辑] DevOps

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

[编辑] 桌面IDE

• CoqIDE

[编辑] 图形GUI

• MLPost an OCaml interface to MetaPost

[编辑] REST API

[编辑] Web应用

[编辑] 网络系统

网络、服务器、系统编程

[编辑] 科学计算

• OCaml Scientific Computing

[编辑] 数据科学

[编辑] 金融交易

[编辑] 人工智能

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

• Machine Learning, Scientific Computing and Data Science
• OCaml Natural Language Processing

[编辑] 数学物理

[编辑] 并发并行

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

[编辑] 音乐视频

[编辑] 游戏

[编辑] 移动App

[编辑] 实时嵌入式

[编辑] 安全密码学

[编辑] 区块链

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

[编辑] FRP流计算

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

[编辑] 数据库存储

[编辑] 操作系统

• MirageOS 一个用于构建安全、高性能网络应用的库（library）操作系统

[编辑] 机器人

[编辑] 硬件芯片

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

• Coq

[编辑] 图集

• 

  Compiler Pipeline

• 

  单一内核MirageOS

• 

  mlpost.png|MLPost

• Ocaml-owl-architecture.png

  owl架构

[编辑] 链接