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
C11parser
Parser C89/C90/C99/C11/C18 yang benar ditulis menggunakan Menhir dan OCaml.
- 174
- GNU General Public License v3.0
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
preface
Pendahuluan adalah perpustakaan berpendirian yang dirancang untuk memfasilitasi penanganan idiom pemrograman fungsional berulang di OCaml..
- 132
- MIT
opam-monorepo
Kumpulkan ruang kerja gundukan untuk membangun proyek Anda dan dependensinya secara keseluruhan.
- 126
- ISC
flitter
Timer split speedrunning yang terinspirasi Livesplit untuk terminal Linux/macOS. Mendukung hotkey global. (oleh alexozer).
- 124
- MIT
lua-ml
Penerjemah Lua 2.5 yang dapat disematkan diimplementasikan dalam OCaml.
- 116
- BSD 2-clause "Simplified"
coq-serapi
Coq Protocol Playground dengan Se(xp)rialisasi Struktur Internal..
- 114
- 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"