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
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
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
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
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
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
coq-serapi
İç Yapıların Se(xp)rializasyonu ile Coq Protocol Playground..
- 114
- 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"