欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
OCaml ecosystem
来自开放百科 - 灰狐
目录 |
基金会
项目集
用户服务商
语言编译器
开发者
类型系统
包管理
插件模块化
DevOps
代码测试、代码质量、代码安全、DevOps ...
桌面IDE
图形GUI
REST API
Web应用
网络系统
网络、服务器、系统编程
数据科学
金融交易
人工智能
数学物理
并发并行
并行、并发、异步以及分布式、云计算
音乐视频
游戏
移动App
实时嵌入式
安全密码学
区块链
FRP流计算
大数据、流计算、Functional Reactive Programming (FRP) 使用可组合的事件和随时间变化的值，将交互式系统描述为纯函数。
数据库存储
操作系统
机器人
硬件芯片
涉及 proof assistant、软硬件规范、形式化语言、定理验证等领域
图集
链接
分享您的观点
