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

flow

Geliştirici üretkenliğini ve kod kalitesini iyileştirmek için JavaScript'e statik yazma ekler.
  • 22.0k
  • MIT

infer

Java, C, C++ ve Objective-C için statik bir çözümleyici.
  • 14.2k
  • MIT

reason

JavaScript ve OCaml ekosistemlerinden yararlanan basit, hızlı ve güvenli kod yazın.
  • 9.9k
  • MIT

semgrep

Birçok dil için hafif statik analiz. Kaynak kodu gibi görünen desenlere sahip hata türevlerini bulun.
  • 8.5k
  • GNU Lesser General Public License v3.0 only

pyre-check

Python için yüksek performanslı tip kontrolü..
  • 6.4k
  • MIT

rescript-compiler

ReScript için derleyici..
  • 6.2k
  • GNU General Public License v3.0

google-drive-ocamlfuse

Google Drive üzerinden FUSE dosya sistemi.
  • 5.1k
  • MIT

ocaml

Çekirdek OCaml sistemi: derleyiciler, çalışma zamanı sistemi, temel kitaplıklar.
  • 4.6k
  • GNU General Public License v3.0

coq

Coq resmi bir kanıt yönetim sistemidir. Matematiksel tanımları, yürütülebilir algoritmaları ve teoremleri yazmak için resmi bir dil ile birlikte makine kontrollü ispatların yarı etkileşimli gelişimi için bir ortam sağlar.
  • 4.3k
  • GNU Lesser General Public License v3.0 only

Batsh

Bash ve Windows Batch için derlenen bir dil.
  • 4.2k

magic-trace

magic-trace, bir işlemin ne yaptığına dair yüksek çözünürlüklü izleri toplar ve görüntüler.
  • 4.1k
  • MIT

unison

Unison dosya eşitleyici (bcpierce00 tarafından).
  • 3.1k
  • GNU General Public License v3.0 only

pfff

Kod analizi, görselleştirmeler veya stili koruyan kaynak dönüştürme araçları.
  • 2.4k
  • GNU General Public License v3.0

mirage

MirageOS, tek çekirdekler oluşturan bir kitaplık işletim sistemidir.
  • 2.2k
  • ISC

comby

Yapısal arama ve değiştirme için her dili destekleyen bir kod yeniden yazma aracı..
  • 2.1k
  • Apache License 2.0

bap

İkili Analiz Platformu.
  • 1.9k
  • MIT

mina

Mina, sabit boyutlu bir blok zincirine sahip yeni bir kripto para birimidir ve ademi merkeziyetçiliği ve güvenliği korurken ölçeklendirmeyi geliştirir. (MinaProtocol tarafından).
  • 1.8k
  • Apache License 2.0

bincat

IDA entegrasyonu ile ikili kod statik analizörü. Değer ve leke analizi, tip rekonstrüksiyonu, kullanım sonrası ücretsiz ve çift serbest algılama gerçekleştirir.
  • 1.5k

merlin

Vim ve Emacs'ta OCaml için bağlama duyarlı tamamlama.
  • 1.5k
  • MIT

dune

OCaml için şekillendirilebilir bir derleme sistemi..
  • 1.4k
  • MIT

plzoo

Programlama Dilleri Hayvanat Bahçesi.
  • 1.3k
  • MIT

dream

Düzenli, tüm özelliklere sahip Web çerçevesi.
  • 1.2k
  • MIT

opam

opam, kaynak tabanlı bir paket yöneticisidir. Birden çok eşzamanlı derleyici kurulumunu, esnek paket kısıtlamalarını ve Git dostu bir geliştirme iş akışını destekler.
  • 1.1k
  • GNU General Public License v3.0

book

Real World OCaml'in V2'si (realworldocaml tarafından).
  • 1.1k
  • GNU General Public License v3.0

owl

Baykuş - OCaml Bilimsel Hesaplama @ http://ocaml.xyz.
  • 1.1k
  • MIT

SATySFi

Statik olarak yazılmış, işlevsel bir dizgi sistemi.
  • 1.1k
  • GNU Lesser General Public License v3.0 only

vpnkit

Uygulamanıza VPN yeteneklerini yerleştirmek için bir araç seti.
  • 1.0k
  • Apache License 2.0

catala

Okuryazar programlama yasası belirtimi için programlama dili.
  • 995
  • Apache License 2.0

caramel

:candy: güvenli, ölçeklenebilir ve bakımı yapılabilir uygulamalar oluşturmak için işlevsel bir dil.
  • 995
  • Apache License 2.0

js_of_ocaml

OCaml'den Javascript'e derleyici..
  • 853
  • GNU General Public License v3.0