OCaml로 작성된 라이브러리

sihl

모듈식 기능 웹 프레임워크.
  • 339
  • MIT

ocaml-ctypes

순수한 OCaml을 사용하여 C 라이브러리에 바인딩하기 위한 라이브러리.
  • 337
  • MIT

notty

OCaml용 선언적 터미널 그래픽(pqwy 제공).
  • 323
  • ISC

bamboo

Bamboo는 https://github.com/cornellblockchain/bamboo(by pirapira)를 참조하세요.
  • 318
  • Apache License 2.0

bonsai

Js_of_ocaml을 사용하여 동적 웹앱을 빌드하기 위한 라이브러리입니다.
  • 305
  • MIT

vscode-ocaml-platform

OCaml용 Visual Studio 코드 확장.
  • 298
  • ISC

soupault

HTML 요소 트리 재작성에 기반한 정적 웹 사이트 생성기.
  • 294
  • MIT

ocaml-h2

순수한 OCaml로 작성된 HTTP/2 구현입니다.
  • 287
  • BSD 3-clause "New" or "Revised"

bisect_ppx

OCaml 및 ReScript에 대한 코드 커버리지.
  • 283
  • MIT

yojson

OCaml용 저수준 JSON 파싱 및 예쁜 인쇄 라이브러리.
  • 283
  • BSD 3-clause "New" or "Revised"

bs-json

BuckleScript용 구성 JSON 인코딩/디코딩 라이브러리.
  • 273
  • GNU Lesser General Public License v3.0 only

re-web

ReasonML과 OCaml을 위한 실험적인 웹 프레임워크.
  • 264
  • MIT

GeneWeb

GeneWeb은 Daniel de Rauglaudre가 만든 웹 인터페이스가 포함된 무료(자유 발언) 계보 소프트웨어입니다.
  • 262
  • GNU General Public License v3.0 only

ocaml-jupyter

Jupyter(IPython) 노트북용 OCaml 커널.
  • 258
  • MIT

1ml

1ML 프로토타입 인터프리터.
  • 255
  • Apache License 2.0

ocaml-caqti

관계형 데이터에 대한 협동 스레드 액세스.
  • 255
  • GNU Lesser General Public License v3.0 only

parallel-programming-in-multicore-ocaml

domainslib를 사용한 멀티코어 OCaml 병렬 프로그래밍에 대한 자습서.
  • 252
  • ISC

bsb-native

OCaml/Reason을 위한 시스템 구축.
  • 244
  • GNU General Public License v3.0

scilla

Scilla - 스마트 계약 중급 언어(Zilliqa 제공).
  • 239
  • GNU General Public License v3.0 only

ocaml-webmachine

OCaml용 REST 툴킷.
  • 222
  • GNU General Public License v3.0

mldonkey

크로스 플랫폼 다중 네트워크 p2p 데몬.
  • 217
  • GNU General Public License v3.0

coq-of-ocaml

OCaml에 대한 공식 검증.
  • 215
  • MIT

sedlex

유니코드용 OCaml 렉서 생성기.
  • 212
  • MIT

coq2rust

Coq to Rust 프로그램 추출. 전체 트리는 원래 Coq 코드 베이스에 있습니다.
  • 212
  • GNU Lesser General Public License v3.0 only

ocaml-re

Perl 및 POSIX 스타일 문자열을 지원하는 순수 OCaml 정규식.
  • 206
  • GNU General Public License v3.0

extprot

extprot: 언어 간 통신 및 장기 직렬화를 위한 확장 가능한 이진 프로토콜.
  • 203
  • GNU General Public License v3.0

plotkicadsch

이 프로젝트는 Kicad Sch 파일을 구조화된 사진 파일(jnavila 제공)로 내보낼 수 있는 것을 목표로 합니다.
  • 201
  • GNU General Public License v3.0

cooltt

😎TT.
  • 201
  • Apache License 2.0

qubes-mirage-firewall

QubesOS용 Mirage 방화벽 VM.
  • 195

c2bf

C에서 브레인퍽까지의 컴파일러.
  • 194
  • GNU General Public License v3.0 only