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
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
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
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
pfff
Kod analizi, görselleştirmeler veya stili koruyan kaynak dönüştürme araçları.
- 2.4k
- GNU General Public License v3.0
comby
Yapısal arama ve değiştirme için her dili destekleyen bir kod yeniden yazma aracı..
- 2.1k
- Apache License 2.0
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
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
SATySFi
Statik olarak yazılmış, işlevsel bir dizgi sistemi.
- 1.1k
- GNU Lesser General Public License v3.0 only
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