ocaml

Bartosz Milewskiの『Category Theory for Programmers』の非公式PDFおよびLaTeXソース。

JavaScriptおよびOCamlのエコシステムを活用した、シンプルで高速かつ型安全なコード

素晴らしいオープンソースプロジェクト。プロジェクトを選んで、今すぐオープンソース開発に参加しましょう。

コアとなるOCamlシステム：コンパイラ、ランタイムシステム、基本ライブラリ

Google Drive上のFUSEファイルシステム。

WebAssembly (wasm) で構築するためのフレームワーク。wasmモジュールを簡単かつ安全にロードし、データを移動させ、関数を呼び出し、拡張可能なアプリを構築できます。

Klipse は、技術ブログにインタラクティブなコードスニペットを埋め込むための JavaScript プラグインです。

厳選された素晴らしいOCamlのツール、フレームワーク、ライブラリ、記事のコレクション。

証明指向プログラミング言語

MirageOS は、ユニカーネルを構築するライブラリオペレーティングシステム

バイナリ解析プラットフォーム

Minaはブロックチェーンサイズが一定の暗号資産プロトコルであり、分散性とセキュリティを維持しながらスケーリングを改善します。

Irmin は、Git と同じ設計原則に従う分散データベースです。

OCaml用の構成可能なビルドシステム

整理された機能豊富な Web フレームワーク

VimおよびEmacsにおけるOCamlのコンテキスト依存型補完。

Nodebook - マルチ言語対応 Web REPL 兼 CLI コードランナー

opam はソースベースのパッケージマネージャーです。複数のコンパイラの同時インストール、柔軟なパッケージ制約、Git フレンドリーな開発ワークフローをサポートします。

ステートファイルのボトルネックがない Terraform

静的型付きの関数型組版システム

型付きホールを備えたライブ関数型プログラミング環境、Hazel

OCamlからJavascriptへのコンパイラ

Rust プログラム向けの検証ツールチェーン

Felix プログラミング言語

OCaml のプロミスと並行 I/O

Lwt または Async を使用する HTTP クライアントおよびサーバー用の OCaml ライブラリ

OCaml コード用の自動フォーマッタ

マルチコア OCaml 向けのエフェクトベースの直接スタイル IO

速度とメモリ効率を重視して構築されたパーサコンビネータ

OCaml による、jq にインスパイアされた言語のより高速でシンプル、かつ移植性の高い実装