OCaml是一种通用的工业级编程语言，强调表达性和安全性，它支持函数式、命令式和面向对象的风格。
Reason为OCaml提供了一种面向JavaScript程序员的熟悉的语法，并且迎合了人...
JavaScript（JS）是一种轻量级的解释型或JIT编译型编程语言，具有一流的功能。虽...
Java最初是作为C/C++编程语言的替代品而开发的。它现在主要用于构建网络、桌面、移动和...
C语言是由贝尔实验室的丹尼斯-里奇设计的一种编程语言。C语言使用非常广泛，简单明了，可以编...
Python是一种动态类型的垃圾收集的编程语言，由Guido van Rossum在80年...
在你最需要的时候，用风格、质量、安全和测试覆盖率检查来自动化你的代码审查。代码审查的目的是...
用户界面（UI）设计或用户界面工程是为机器和软件设计用户界面，如计算机、家用电器、移动设备...
应用程序（软件应用程序，或应用程序，或简称为APP）是一种计算机程序，旨在执行一项特定的任...
Electron是一个由GitHub开发的桌面应用程序框架，由Cheng Zhao创建。它...
React（也被称为React.js或ReactJS）是一个JavaScript库，使开发...
React Native是一个由Facebook开发的JavaScript移动框架。它允许...
Chrome是截至2017年年中全球最流行的网络浏览器，由科技公司谷歌制造。它适用于大多数...
Coq是一个形式化证明管理系统。它提供了一种形式化语言来编写 数学定义、可执行算法和定理的...
Go是一种编程语言，类似于C编程语言的简化版本。它在机器层面上进行编译。Go是2007年由...
PHP是一种流行的通用脚本语言，特别适合于服务器端的web开发。PHP运行时一般由网页内容...
Swift是一种通用的编程语言，使用现代的安全、性能和软件设计模式的方法构建。受许多其他现...
TypeScript是一种由微软开发的开源编程语言，于2012年首次发布。它旨在为Java...
一个用于Java、C、C++和Objective-C的静态分析器
简单、快速&类型安全的代码，利用JavaScript&OCaml生态系统
为Python提供高性能的类型检查。
在Google Drive上的FUSE文件系统
OCaml的核心系统：编译器、运行时系统、基础库
Coq是一个形式化证明管理系统。它提供了一种形式化的语言来编写数学定义、可执行的算法和定理，以及一个半交互式的开发机器检查证明的环境。
用于结构搜索和替换的代码重写工具，支持～种语言。
✨ 用Reason/OCaml构建本地UI的跨平台工具集
在浏览器中添加 "理由"。