3k

未分类

awesome-ocaml

A curated collection of awesome OCaml tools, frameworks, lib...

2.2k

N/A

快速查看 比較

  8.1k

桌面开发

Revery

原生的、高性能的、跨平台的桌面应用程序 -- 用 Reason来构建！「Native, high-performance...

2.5k

Reason

快速查看 比較

未分类

opam-repository

Main public package repository for OPAM, the source package ...

1.6k

Shell

快速查看 比較

  2.1k

未分类

Mina

Mina 是一种加密货币协议，具有恒定大小的区块链，在保持去中心化和安全性的同时提高了扩展性。「Mina is a cr...

1.6k

OCaml

快速查看 比較

  7.1k

未分类

pyre-check

Performant type-checking for python.

1.8k

OCaml

快速查看 比較

JavaScript

backend.ai-client-js

Backend.AI Client Library for Javascript

2.1k

JavaScript

快速查看 比較

  11.3k

未分类

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unoffic...

1.7k

TeX

快速查看 比較

  5.9k

未分类

ocaml

The core OCaml system: compilers, runtime system, base libra...

2.5k

OCaml

快速查看 比較

  2.9k

未分类

FStar

Verification system for effectful programs

2.6k

F*

快速查看 比較

  7.9k

未分类

oni2

Native, lightweight modal code editor

1.9k

Reason

快速查看 比較

  1.8k

未分类

dune

A composable build system for OCaml.

2.8k

OCaml

快速查看 比較

未分类

mirage-skeleton

Examples of simple MirageOS apps

2.3k

OCaml

快速查看 比較