"오캄" 태그별 라이브러리

milewski-ctfp-pdf

Bartosz Milewski의 '프로그래머를 위한 범주 이론' 비공식 PDF 및 LaTeX 소스.
  • 10.3k
  • TeX
  • GNU General Public License v3.0

reason

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

awesomo

멋진 오픈 소스 프로젝트. 프로젝트를 선택하고 지금 오픈 소스 개발에 참여하십시오..
  • 9.0k
  • Rust
  • Creative Commons Zero v1.0 Universal

revery

:zap: 네이티브, 고성능, 교차 플랫폼 데스크톱 앱 - Reason!으로 구축.

oni2

네이티브 경량 모달 코드 편집기.

pyre-check

파이썬에 대한 성능 유형 검사..

google-drive-ocamlfuse

Google 드라이브를 통한 FUSE 파일 시스템.

ocaml

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

klipse

Klipse는 기술 블로그에 대화형 코드 스니펫을 삽입하기 위한 JavaScript 플러그인입니다.
  • 3.1k
  • HTML
  • GNU General Public License v3.0 only

awesome-ocaml

엄선된 멋진 OCaml 도구, 프레임워크, 라이브러리 및 기사 모음입니다.

FStar

증명 지향 프로그래밍 언어.
  • 2.5k
  • F*
  • Apache License 2.0

extism

범용 플러그인 시스템. WebAssembly(wasm)로 무엇이든 확장하세요..
  • 2.4k
  • Rust
  • BSD 3-clause "New" or "Revised"

mirage

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

bap

바이너리 분석 플랫폼.

mina

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

nodebook

Nodebook - Multi-Lang Web REPL + CLI 코드 러너.
  • 1.6k
  • Go
  • ISC

merlin

Vim 및 Emacs에서 OCaml에 대한 상황에 맞는 완성.

dune

OCaml용 컴포저블 빌드 시스템..

dream

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

opam

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

SATySFi

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

caramel

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

js_of_ocaml

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

ocaml-multicore

멀티코어 OCaml.
  • 758
  • OCaml
  • GNU General Public License v3.0

felix

Felix 프로그래밍 언어(felix-lang 작성).
  • 737
  • C
  • GNU General Public License v3.0

ocaml-cohttp

Lwt 또는 Async를 사용하는 HTTP 클라이언트 및 서버용 OCaml 라이브러리.
  • 636
  • OCaml
  • GNU General Public License v3.0

lwt

OCaml 약속 및 동시 I/O.

coda

Mina는 일정한 크기의 블록체인을 가진 새로운 암호화폐로 탈중앙화와 보안을 유지하면서 확장성을 향상시킵니다. [이동 위치: https://github.com/MinaProtocol/mina] (by MinaProtocol).

bucklescript-tea

Bucklescript용 TEA.

query-json

Reason에서 `jq`를 더 빠르고 간단하며 이식성 있게 구현합니다.
  • 574
  • Reason
  • BSD 3-clause "New" or "Revised"