OCaml로 작성된 라이브러리

flow

개발자 생산성과 코드 품질을 개선하기 위해 JavaScript에 정적 유형 지정을 추가합니다.
  • 22.0k
  • MIT

infer

Java, C, C++ 및 Objective-C용 정적 분석기입니다.
  • 14.2k
  • MIT

reason

JavaScript 및 OCaml 생태계를 활용하는 간단하고 빠르며 안전한 코드입니다.
  • 9.9k
  • MIT

semgrep

많은 언어에 대한 경량 정적 분석. 소스 코드처럼 보이는 패턴이 있는 버그 변종을 찾습니다.
  • 8.5k
  • GNU Lesser General Public License v3.0 only

pyre-check

파이썬에 대한 성능 유형 검사..
  • 6.4k
  • MIT

rescript-compiler

ReScript용 컴파일러..
  • 6.2k
  • GNU General Public License v3.0

google-drive-ocamlfuse

Google 드라이브를 통한 FUSE 파일 시스템.
  • 5.1k
  • MIT

ocaml

핵심 OCaml 시스템: 컴파일러, 런타임 시스템, 기본 라이브러리.
  • 4.6k
  • GNU General Public License v3.0

coq

Coq는 공식적인 증명 관리 시스템입니다. 기계 검사 증명의 반 대화식 개발을 위한 환경과 함께 수학적 정의, 실행 가능한 알고리즘 및 정리를 작성할 수 있는 공식 언어를 제공합니다.
  • 4.3k
  • GNU Lesser General Public License v3.0 only

Batsh

Bash 및 Windows Batch로 컴파일되는 언어입니다.
  • 4.2k

magic-trace

magic-trace는 프로세스가 수행하는 작업에 대한 고해상도 추적을 수집하고 표시합니다.
  • 4.1k
  • MIT

unison

Unison 파일 동기화 프로그램(bcpierce00 제공).
  • 3.1k
  • GNU General Public License v3.0 only

pfff

코드 분석, 시각화 또는 스타일 보존 소스 변환을 위한 도구..
  • 2.4k
  • GNU General Public License v3.0

mirage

MirageOS는 유니커널을 구성하는 라이브러리 운영 체제입니다.
  • 2.2k
  • ISC

comby

~모든 언어를 지원하는 구조적 검색 및 교체를 위한 코드 재작성 도구..
  • 2.1k
  • Apache License 2.0

bap

바이너리 분석 플랫폼.
  • 1.9k
  • MIT

mina

Mina는 일정한 크기의 블록체인을 가진 새로운 암호화폐로 탈중앙화와 보안을 유지하면서 확장성을 향상시킵니다. (MinaProtocol 제공).
  • 1.8k
  • Apache License 2.0

bincat

IDA가 통합된 바이너리 코드 정적 분석기. 값 및 taint 분석, 유형 재구성, use-after-free 및 double-free 감지를 수행합니다.
  • 1.5k

merlin

Vim 및 Emacs에서 OCaml에 대한 상황에 맞는 완성.
  • 1.5k
  • MIT

dune

OCaml용 컴포저블 빌드 시스템..
  • 1.4k
  • MIT

plzoo

프로그래밍 언어 동물원.
  • 1.3k
  • MIT

dream

깔끔하고 완벽한 기능을 갖춘 웹 프레임워크.
  • 1.2k
  • MIT

opam

opam은 소스 기반 패키지 관리자입니다. 여러 동시 컴파일러 설치, 유연한 패키지 제약 조건 및 Git 친화적인 개발 워크플로를 지원합니다.
  • 1.1k
  • GNU General Public License v3.0

book

Real World OCaml의 V2(realworldocaml 제공).
  • 1.1k
  • GNU General Public License v3.0

owl

올빼미 - OCaml Scientific Computing @ http://ocaml.xyz.
  • 1.1k
  • MIT

SATySFi

정적 유형의 기능적 조판 시스템입니다.
  • 1.1k
  • GNU Lesser General Public License v3.0 only

vpnkit

애플리케이션에 VPN 기능을 내장하기 위한 툴킷.
  • 1.0k
  • Apache License 2.0

catala

유능한 프로그래밍 법률 사양을 위한 프로그래밍 언어입니다.
  • 995
  • Apache License 2.0

caramel

:candy: 유형이 안전하고 확장 가능하며 유지 관리 가능한 응용 프로그램을 구축하기 위한 기능적 언어입니다.
  • 995
  • Apache License 2.0

js_of_ocaml

OCaml에서 자바스크립트로 컴파일러..
  • 853
  • GNU General Public License v3.0