OCaml로 작성된 라이브러리

smart-contracts

스마트 계약 라이브러리(oxheadalpha 제공).

100
MIT

coq-lsp

Coq용 Visual Studio 코드 확장 및 언어 서버 프로토콜.

98
GNU Lesser General Public License v3.0 only

capnp-rpc

Cap'n Proto RPC 구현.

89
GNU General Public License v3.0

ocaml-asp

OCaml을 위한 대수적 단계적 구문 분석: 입력되고 구성적이며 yacc보다 빠릅니다.

87
MIT

camlboot

OCaml 컴파일러를 부트스트랩하는 방법을 실험합니다.

84
MIT

yocaml

YOCaml은 대부분 OCaml로 작성된 정적 사이트 생성기입니다.

82
GNU General Public License v3.0 only

lablgtk

LablGTK 2 및 3: 김프 도구 키트에 대한 인터페이스입니다.

81
GNU General Public License v3.0

ppx_sexp_conv

유형 정의에서 S-expression 변환 함수 생성.

76
MIT

silk

실크 프로그래밍 언어(AjayMT 제공).

75
MIT

weidu

WeiDU는 Infinity Engine을 기반으로 하는 게임의 수정 사항을 개발, 배포 및 설치하는 데 사용되는 프로그램입니다.

71
GNU General Public License v3.0 only

ocamlot

OCaml!의 Activitypub 서버.

64
GNU Affero General Public License v3.0

flambda-backend

OCaml용 Flambda 백엔드 프로젝트.

61

cuite

(미러) Qt 툴킷에 대한 OCaml 바인딩..

58
MIT

tornado

Tornado는 전적으로 OCaml로 작성된 BitTorrent 클라이언트입니다. (Fradev에 의해).

57
MIT

kalandralang

패스 오브 엑자일 제작 레시피를 위한 프로그래밍 언어..

54
MIT

miragevpn

OpenVPN 프로토콜의 독자적인 구현.

53

virt-v2v

Virt-v2v는 외부 하이퍼바이저의 게스트를 KVM에서 실행하도록 변환합니다.

51
GNU General Public License v3.0 only

ego

OCaml의 EGraphs(by verse-lab).

51
GNU General Public License v3.0 only

ocaml-matrix

OCaml에서 MirageOS용 매트릭스 서버 구현.

49
ISC

unikernels

MirageOS 유니커널(roburio 제공).

49

prometheus

Prometheus 서버에 지표를 보고하기 위한 OCaml 라이브러리(미라지에 의해).

48
Apache License 2.0

youtube-channel

44

ocaml-grpc

OCaml용 gRPC 라이브러리.

43
BSD 3-clause "New" or "Revised"

sexp

S-익스프레션 스위스 나이프.

41
MIT

obuilder

btrfs/zfs 스냅샷을 사용하는 실험적인 "도커 빌드" 대안.

40
Apache License 2.0

VIBES

합성을 통한 검증된 증분 이진 편집.

39
MIT

otoml

OCaml용 TOML 구문 분석, 조작 및 예쁜 인쇄 라이브러리(완전히 1.0.0 호환).

39
MIT

illuaminate

Lua에 대한 매우 WIP 정적 분석.

39
BSD 3-clause "New" or "Revised"

AdventOfCode2017

Nim, OCaml 및 Python(narimiran 제공)을 사용하는 AoC 2017용 솔루션입니다.

38
MIT

bondi

bondi 프로그래밍 언어의 소스 코드.

38
MIT