Perpustakaan yang ditulis dalam OCaml

redtt

"Antara kegelapan dan fajar, sebuah kubus merah muncul!": asisten pembuktian untuk teori tipe kubik kartesius.
  • 194
  • Apache License 2.0

FaCT

Bahasa Pemrograman Waktu Fleksibel dan Konstan.
  • 190
  • BSD 3-clause "New" or "Revised"

async

Perpustakaan eksekusi asinkron Jane Street Capital (oleh janestreet).
  • 182
  • MIT

ocaml5-tutorial

Tutorial langsung tentang fitur paralelisme baru di OCaml 5.
  • 182
  • MIT

morbig

Pengurai statis untuk POSIX Shell.
  • 181
  • GNU General Public License v3.0

C11parser

Parser C89/C90/C99/C11/C18 yang benar ditulis menggunakan Menhir dan OCaml.
  • 174
  • GNU General Public License v3.0

patoline

Sistem pengaturan huruf Patolin.
  • 173
  • GNU General Public License v3.0 only

dometyl-keyboard

Generator parametrik untuk mendesain papan ketik ergonomis, cekung, dan terbelah yang ditulis dalam ocaml..
  • 170
  • GNU Affero General Public License v3.0

drom

drom adalah pembungkus opam/dune dalam upaya untuk memberikan pengalaman pengguna seperti kargo. Ini dapat digunakan untuk membuat proyek OCaml lengkap dengan dokumentasi sphinx dan odoc. Ini memiliki pengetahuan khusus tentang Github dan akan menghasilkan file untuk Github Actions CI dan halaman Github..
  • 165
  • GNU General Public License v3.0

mlang

Kompiler untuk bahasa M, digunakan untuk menghitung pajak penghasilan pembayar pajak Prancis.
  • 160
  • GNU General Public License v3.0 only

lablqml

Menghubungkan Qt/QML dengan OCaml. Sebelumnya dikenal sebagai lablqt.
  • 158
  • GNU Lesser General Public License v3.0 only

supermin

alat untuk membuat peralatan supermin (sebelumnya disebut febootstrap). HARAP JANGAN GUNAKAN GITHUB UNTUK MASALAH ATAU PERMINTAAN TARIK. Lihat situs web untuk mengetahui cara mengajukan bug atau hubungi kami. http://libguestfs.org.
  • 155
  • GNU General Public License v3.0 only

pyml

Binding OCaml untuk Python.
  • 154
  • BSD 2-clause "Simplified"

domainslib

Pemrograman Paralel melalui Domain.
  • 144
  • ISC

sexplib

Konversi S-ekspresi otomatis.
  • 141
  • MIT

postgresql-ocaml

Pengikatan OCaml untuk database PostgreSQL.
  • 138
  • GNU General Public License v3.0

jsoo-react

binding js_of_ocaml untuk ReactJS. Berdasarkan ReasonReact..
  • 136
  • MIT

preface

Pendahuluan adalah perpustakaan berpendirian yang dirancang untuk memfasilitasi penanganan idiom pemrograman fungsional berulang di OCaml..
  • 132
  • MIT

reagents

Reagen untuk multicore OCaml.
  • 126
  • ISC

opam-monorepo

Kumpulkan ruang kerja gundukan untuk membangun proyek Anda dan dependensinya secara keseluruhan.
  • 126
  • ISC

ocurrent

Selalu memperbarui (pipa CI/CD OCaml eDSL).
  • 125
  • Apache License 2.0

flitter

Timer split speedrunning yang terinspirasi Livesplit untuk terminal Linux/macOS. Mendukung hotkey global. (oleh alexozer).
  • 124
  • MIT

stanc3

Transpiler Stan (dari Stan ke C++ dan seterusnya)..
  • 120
  • BSD 3-clause "New" or "Revised"

zbg

✨ Tidak ada omong kosong.
  • 116
  • Mozilla Public License 2.0

lua-ml

Penerjemah Lua 2.5 yang dapat disematkan diimplementasikan dalam OCaml.
  • 116
  • BSD 2-clause "Simplified"

nice-parser

Parser yang bagus di OCaml tanpa boilerplate.
  • 115
  • MIT

coq-serapi

Coq Protocol Playground dengan Se(xp)rialisasi Struktur Internal..
  • 114
  • GNU General Public License v3.0

streaming

Abstraksi streaming yang cepat, aman, dan dapat disusun. (oleh odis-labs).
  • 105
  • ISC

sqlite3-ocaml

Binding OCaml ke database SQLite3.
  • 104
  • GNU General Public License v3.0

iter

Tipe data abstrak iterator sederhana, dimaksudkan untuk melakukan iterasi secara efisien pada koleksi sambil melakukan beberapa transformasi. (oleh c-kubus).
  • 102
  • BSD 2-clause "Simplified"