OCaml ile yazılmış kütüphaneler

redtt

"Karanlık ve şafak arasında, kırmızı bir küp yükseliyor!": kartezyen kübik tip teorisi için bir ispat asistanı.
  • 194
  • Apache License 2.0

FaCT

Esnek ve Sabit Zamanlı Programlama Dili.
  • 190
  • BSD 3-clause "New" or "Revised"

async

Jane Street Capital'in eşzamansız yürütme kitaplığı (janestreet tarafından).
  • 182
  • MIT

ocaml5-tutorial

OCaml 5'teki yeni paralellik özellikleri hakkında uygulamalı bir öğretici.
  • 182
  • MIT

morbig

POSIX Kabuğu için statik bir ayrıştırıcı.
  • 181
  • GNU General Public License v3.0

C11parser

Menhir ve OCaml kullanılarak yazılmış doğru bir C89/C90/C99/C11/C18 ayrıştırıcısı.
  • 174
  • GNU General Public License v3.0

patoline

Patolin dizgi sistemi.
  • 173
  • GNU General Public License v3.0 only

dometyl-keyboard

Ocaml ile yazılmış bölünmüş, içbükey, ergonomik klavyeler tasarlamak için bir parametrik üreteç.
  • 170
  • GNU Affero General Public License v3.0

drom

drom, kargo benzeri bir kullanıcı deneyimi sağlamak amacıyla opam/dune üzerinde bir sarmalayıcıdır. Sphinx ve odoc belgeleriyle eksiksiz OCaml projeleri oluşturmak için kullanılabilir. Özel Github bilgisine sahiptir ve Github Actions CI ve Github sayfaları için dosyalar oluşturur.
  • 165
  • GNU General Public License v3.0

mlang

Fransız vergi mükelleflerinin gelir vergisini hesaplamak için kullanılan M dili için derleyici.
  • 160
  • GNU General Public License v3.0 only

lablqml

OCaml ile Qt/QML arabirimi. Eskiden lablqt olarak biliniyordu.
  • 158
  • GNU Lesser General Public License v3.0 only

supermin

supermin cihazları oluşturmak için araç (eski adıyla febootstrap). LÜTFEN GITHUB'U SORUNLAR VEYA ÇEKME İSTEKLERİ İÇİN KULLANMAYIN. Bir hatayı nasıl bildireceğinizi öğrenmek için web sitesine bakın veya bizimle iletişime geçin. http://libguestfs.org.
  • 155
  • GNU General Public License v3.0 only

pyml

Python için OCaml bağlamaları.
  • 154
  • BSD 2-clause "Simplified"

domainslib

Etki Alanları Üzerinden Paralel Programlama.
  • 144
  • ISC

sexplib

Otomatik S-ifadesi dönüştürme.
  • 141
  • MIT

postgresql-ocaml

PostgreSQL veritabanı için OCaml bağlamaları.
  • 138
  • GNU General Public License v3.0

jsoo-react

ReactJS için js_of_ocaml bağlamaları. ReasonReact'e göre..
  • 136
  • MIT

preface

Önsöz, OCaml'de yinelenen işlevsel programlama deyimlerinin işlenmesini kolaylaştırmak için tasarlanmış, üzerinde düşünülmüş bir kitaplıktır.
  • 132
  • MIT

reagents

Çok çekirdekli OCaml için reaktifler.
  • 126
  • ISC

opam-monorepo

Projenizi ve bağımlılıklarını bir bütün olarak oluşturmak için kumul çalışma alanlarını birleştirin.
  • 126
  • ISC

ocurrent

İşleri güncel tutar (bir CI/CD işlem hattı OCaml eDSL).
  • 125
  • Apache License 2.0

flitter

Linux/macOS terminali için Livesplit'ten ilham alan hızlı çalışan bir bölünmüş zamanlayıcı. Küresel kısayol tuşlarını destekler. (alexozer tarafından).
  • 124
  • MIT

stanc3

Stan transpiler (Stan'dan C++ ve ötesine)..
  • 120
  • BSD 3-clause "New" or "Revised"

zbg

✨ Sıfır saçmalık.
  • 116
  • Mozilla Public License 2.0

lua-ml

OCaml'de uygulanan gömülebilir bir Lua 2.5 yorumlayıcısı.
  • 116
  • BSD 2-clause "Simplified"

nice-parser

Standart olmadan OCaml'de güzel ayrıştırıcılar.
  • 115
  • MIT

coq-serapi

İç Yapıların Se(xp)rializasyonu ile Coq Protocol Playground..
  • 114
  • GNU General Public License v3.0

streaming

Hızlı, güvenli ve birleştirilebilir akış soyutlamaları. (odis-labs tarafından).
  • 105
  • ISC

sqlite3-ocaml

SQLite3 veritabanına OCaml bağlamaları.
  • 104
  • GNU General Public License v3.0

iter

Bazı dönüşümleri gerçekleştirirken koleksiyonlar üzerinde verimli bir şekilde yinelemeyi amaçlayan basit yineleyici soyut veri türü. (c-cube tarafından).
  • 102
  • BSD 2-clause "Simplified"