OCaml로 작성된 라이브러리

redtt

"어둠과 새벽 사이에 빨간 입방체가 솟아오른다!": 데카르트 입방체 유형 이론의 증명 조수.
  • 194
  • Apache License 2.0

FaCT

유연하고 일정한 시간 프로그래밍 언어.
  • 190
  • BSD 3-clause "New" or "Revised"

async

Jane Street Capital의 비동기 실행 라이브러리(janestreet 제공).
  • 182
  • MIT

ocaml5-tutorial

OCaml 5의 새로운 병렬 기능에 대한 실습 튜토리얼입니다.
  • 182
  • MIT

morbig

POSIX Shell용 정적 파서입니다.
  • 181
  • GNU General Public License v3.0

C11parser

Menhir 및 OCaml을 사용하여 작성된 올바른 C89/C90/C99/C11/C18 파서.
  • 174
  • GNU General Public License v3.0

patoline

Patoline 조판 시스템.
  • 173
  • GNU General Public License v3.0 only

dometyl-keyboard

ocaml로 작성된 분할, 오목, 인체 공학적 키보드를 설계하기 위한 파라메트릭 생성기..
  • 170
  • GNU Affero General Public License v3.0

drom

drom은 화물과 같은 사용자 경험을 제공하기 위해 opam/dune에 대한 래퍼입니다. sphinx 및 odoc 문서로 완전한 OCaml 프로젝트를 생성하는 데 사용할 수 있습니다. Github에 대한 특정 지식이 있으며 Github Actions CI 및 Github 페이지에 대한 파일을 생성합니다.
  • 165
  • GNU General Public License v3.0

mlang

프랑스 납세자의 소득세 계산에 사용되는 M 언어용 컴파일러.
  • 160
  • GNU General Public License v3.0 only

lablqml

Qt/QML과 OCaml의 인터페이스. 이전에는 lablqt로 알려져 있습니다.
  • 158
  • GNU Lesser General Public License v3.0 only

supermin

supermin 어플라이언스(이전에는 febootstrap이라고 함)를 만들기 위한 도구입니다. 문제나 풀 요청에 GITHUB를 사용하지 마세요. 버그를 신고하거나 문의하는 방법은 웹사이트를 참조하세요. http://libguestfs.org.
  • 155
  • GNU General Public License v3.0 only

pyml

Python용 OCaml 바인딩.
  • 154
  • BSD 2-clause "Simplified"

domainslib

도메인을 통한 병렬 프로그래밍.
  • 144
  • ISC

sexplib

자동화된 S-식 변환.
  • 141
  • MIT

postgresql-ocaml

PostgreSQL 데이터베이스용 OCaml 바인딩.
  • 138
  • GNU General Public License v3.0

jsoo-react

ReactJS용 js_of_ocaml 바인딩. ReasonReact 기반..
  • 136
  • MIT

preface

서문은 OCaml에서 반복되는 함수형 프로그래밍 관용구를 쉽게 처리하도록 설계된 독자적인 라이브러리입니다.
  • 132
  • MIT

reagents

멀티코어 OCaml용 시약.
  • 126
  • ISC

opam-monorepo

듄 작업 공간을 조합하여 프로젝트와 해당 종속성을 전체적으로 빌드합니다.
  • 126
  • ISC

ocurrent

최신 상태로 유지합니다(CI/CD 파이프라인 OCaml eDSL).
  • 125
  • Apache License 2.0

flitter

Linux/macOS 터미널용 Livesplit에서 영감을 받은 스피드런 분할 타이머. 글로벌 핫키를 지원합니다. (alexozer에 의해).
  • 124
  • MIT

stanc3

Stan 트랜스파일러(Stan에서 C++ 및 그 이상으로)..
  • 120
  • BSD 3-clause "New" or "Revised"

zbg

✨ 헛소리 제로 자식.
  • 116
  • Mozilla Public License 2.0

lua-ml

OCaml에서 구현된 임베드 가능한 Lua 2.5 인터프리터.
  • 116
  • BSD 2-clause "Simplified"

nice-parser

상용구가 없는 OCaml의 멋진 파서.
  • 115
  • MIT

coq-serapi

내부 구조의 직렬화를 통한 Coq 프로토콜 플레이그라운드..
  • 114
  • GNU General Public License v3.0

streaming

빠르고 안전하며 구성 가능한 스트리밍 추상화. (odis-labs 제공).
  • 105
  • ISC

sqlite3-ocaml

SQLite3 데이터베이스에 대한 OCaml 바인딩.
  • 104
  • GNU General Public License v3.0

iter

일부 변환을 수행하는 동안 컬렉션에서 효율적으로 반복하기 위한 간단한 반복자 추상 데이터 유형입니다. (씨큐브에 의해).
  • 102
  • BSD 2-clause "Simplified"