ocaml

Bartosz Milewski의 'Category Theory for Programmers' 비공식 PDF 및 LaTeX 소스

JavaScript 및 OCaml 생태계를 활용하는 간단하고 빠르며 타입 안전한 코드

멋진 오픈 소스 프로젝트. 프로젝트를 선택하고 지금 오픈 소스 개발에 참여하세요.

핵심 OCaml 시스템: 컴파일러, 런타임 시스템, 기본 라이브러리

Google Drive를 이용하는 FUSE 파일 시스템

WebAssembly(wasm) 구축 프레임워크. wasm 모듈을 쉽고 안전하게 로드하고, 데이터를 이동하며, 함수를 호출하고, 확장 가능한 앱을 구축합니다.

Klipse는 기술 블로그에 인터랙티브 코드 스니펫을 삽입하기 위한 JavaScript 플러그인입니다.

멋진 OCaml 도구, 프레임워크, 라이브러리 및 아티클 모음.

증명 중심 프로그래밍 언어

MirageOS는 유니커널을 구축하는 라이브러리 운영 체제입니다.

바이너리 분석 플랫폼

Mina는 블록체인 크기가 일정한 암호화폐 프로토콜로, 탈중앙화와 보안을 유지하면서 확장성을 개선합니다.

Git과 동일한 설계 원칙을 따르는 분산 데이터베이스 Irmin입니다.

OCaml을 위한 조합 가능(composable) 빌드 시스템

깔끔하고 기능이 완벽한 Web 프레임워크

Vim과 Emacs에서 OCaml을 위한 문맥 인식 자동 완성

Nodebook - 다중 언어 Web REPL + CLI 코드 러너

opam은 소스 기반 패키지 관리자입니다. 다중 동시 컴파일러 설치, 유연한 패키지 제약 조건, Git 친화적인 개발 워크플로를 지원합니다.

상태 파일 병목 현상이 없는 Terraform

정적 타입의 함수형 조판 시스템

타입 홀이 있는 라이브 함수형 프로그래밍 환경, Hazel

OCaml에서 자바스크립트로의 컴파일러

Rust 프로그램을 위한 검증 툴체인

Felix 프로그래밍 언어

OCaml 프로미스 및 동시성 I/O

Lwt 또는 Async를 사용하는 HTTP 클라이언트 및 서버를 위한 OCaml 라이브러리입니다.

OCaml 코드 자동 포맷터

멀티코어 OCaml을 위한 이펙트 기반 다이렉트 스타일 IO

속도와 메모리 효율성을 위해 빌드된 파서 조합기(Parser combinator)

OCaml로 구현한 더 빠르고 간결하며 이식성이 뛰어난 jq 기반 언어