OCaml ecosystem

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(人工智能)
(图集)
 
(未显示1个用户的15个中间版本)
第11行: 第11行:
  
 
==语言编译器==
 
==语言编译器==
 +
*[https://github.com/MLstate/opalang/ Opa Language] for Web Application Development
  
==开发者==
+
==开发者开发商==
[[OCaml]] & [[Coq]] 核心开发者
+
[[OCaml]] & [[Coq]] 核心开发者、开发商
 +
*[https://github.com/janestreet Jane Street]
 +
 
 +
==.NET==
 +
与 [[.NET ecosystem|.NET]] 的集成和互操作
 +
*[https://benchmarksgame-team.pages.debian.net/benchmarksgame/fastest/ocaml.html OCaml versus F# .NET fastest programs]
 +
*[https://github.com/LexiFi/csml CSML] high-levels bindings between [[.NET]] and OCaml
  
 
==类型系统==
 
==类型系统==
第28行: 第35行:
  
 
==图形GUI==
 
==图形GUI==
 +
*[https://github.com/backtracking/mlpost MLPost] an OCaml interface to [https://tug.org/metapost.html MetaPost]
  
 
==REST API==
 
==REST API==
第35行: 第43行:
 
==网络系统==
 
==网络系统==
 
网络、服务器、系统编程
 
网络、服务器、系统编程
 +
 +
==科学计算==
 +
*[https://ocaml.xyz/ OCaml Scientific Computing]
  
 
==数据科学==
 
==数据科学==
第61行: 第72行:
  
 
==区块链==
 
==区块链==
 +
*[[Tezos]]
 +
*[https://archetype-lang.org/ Archetype] 是一种领域特定语言 ([[DSL]]),用于在 Tezos 区块链上开发智能合约,特别关注合约安全。
  
 
==FRP流计算==
 
==FRP流计算==
第68行: 第81行:
  
 
==操作系统==
 
==操作系统==
 +
*[https://github.com/mirage MirageOS] 一个用于构建安全、高性能网络应用的库(library)[[Operating system|操作系统]]
  
 
==机器人==
 
==机器人==
第78行: 第92行:
 
==图集==
 
==图集==
 
<gallery>
 
<gallery>
 +
image:Ocaml-compiler-pipeline.png|Compiler Pipeline
 +
image:unikernel-mirage-os.png|单一内核MirageOS
 +
image:mlpost.png|mlpost.png|MLPost
 +
image:ocaml-owl-architecture.png|owl架构
 
</gallery>
 
</gallery>
  

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

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

[编辑] 图集

[编辑] 链接

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

变换
操作
导航
工具箱