Perpustakaan yang ditulis dalam OCaml

flow

Menambahkan pengetikan statis ke JavaScript untuk meningkatkan produktivitas pengembang dan kualitas kode..

22.0k
MIT

infer

Penganalisis statis untuk Java, C, C++, dan Objective-C.

14.2k
MIT

reason

Sederhana, cepat & ketik kode aman yang memanfaatkan ekosistem JavaScript & OCaml.

9.9k
MIT

semgrep

Analisis statis ringan untuk banyak bahasa. Temukan varian bug dengan pola yang terlihat seperti kode sumber..

8.5k
GNU Lesser General Public License v3.0 only

pyre-check

Pengecekan tipe kinerja untuk python..

6.4k
MIT

rescript-compiler

Kompiler untuk ReScript..

6.2k
GNU General Public License v3.0

google-drive-ocamlfuse

Sistem file FUSE melalui Google Drive.

5.1k
MIT

ocaml

Sistem inti OCaml: kompiler, sistem runtime, pustaka dasar.

4.6k
GNU General Public License v3.0

Coq adalah sistem manajemen bukti formal. Ini menyediakan bahasa formal untuk menulis definisi matematika, algoritme dan teorema yang dapat dieksekusi bersama dengan lingkungan untuk pengembangan semi-interaktif dari bukti yang diperiksa mesin..

4.3k
GNU Lesser General Public License v3.0 only

Batsh

Bahasa yang dikompilasi ke Bash dan Windows Batch.

4.2k

magic-trace

magic-trace mengumpulkan dan menampilkan jejak beresolusi tinggi dari apa yang sedang dilakukan suatu proses.

4.1k
MIT

unison

Sinkronisasi file serempak (oleh bcpierce00).

3.1k
GNU General Public License v3.0 only

pfff

Alat untuk analisis kode, visualisasi, atau transformasi sumber yang melestarikan gaya..

2.4k
GNU General Public License v3.0

mirage

MirageOS adalah sistem operasi perpustakaan yang membuat kernel unik.

2.2k
ISC

comby

Alat penulisan ulang kode untuk pencarian struktural dan penggantian yang mendukung ~ setiap bahasa..

2.1k
Apache License 2.0

bap

Platform Analisis Biner.

1.9k
MIT

mina

Mina adalah cryptocurrency baru dengan blockchain ukuran konstan, meningkatkan penskalaan sambil mempertahankan desentralisasi dan keamanan. (oleh Protokol Mina).

1.8k
Apache License 2.0

bincat

Penganalisis statis kode biner, dengan integrasi IDA. Melakukan analisis nilai dan noda, rekonstruksi tipe, deteksi bebas pakai dan bebas ganda.

1.5k

merlin

Penyelesaian peka konteks untuk OCaml di Vim dan Emacs.

1.5k
MIT

dune

Sistem build yang dapat disusun untuk OCaml..

1.4k
MIT

plzoo

Kebun Binatang Bahasa Pemrograman.

1.3k
MIT

dream

Kerangka kerja Web yang rapi dan lengkap fitur.

1.2k
MIT

opam

opam adalah manajer paket berbasis sumber. Ini mendukung beberapa instalasi kompiler simultan, batasan paket yang fleksibel, dan alur kerja pengembangan yang ramah Git..