OCaml
Repositori open source terpantau dengan OCaml sebagai bahasa utama, diurutkan berdasarkan bintang.
- #1semgrep@semgrep
Analisis statis ringan untuk berbagai bahasa. Temukan varian bug dengan pola yang menyerupai kode sumber.
★ 16.420+96Perubahan bintang dalam 7 hari terakhir - #2infer@facebook
Penganalisis statis untuk Java, C, C++, dan Objective-C
★ 15.692+9Perubahan bintang dalam 7 hari terakhir - #3reason@reasonml
Kode yang sederhana, cepat, & aman dari segi tipe yang memanfaatkan ekosistem JavaScript & OCaml
★ 10.323-1Perubahan bintang dalam 7 hari terakhir - #4ocaml@ocaml
Sistem inti OCaml: kompiler, runtime system, dan pustaka dasar
★ 6.537+12Perubahan bintang dalam 7 hari terakhir - #5magic-trace@janestreet
magic-trace mengumpulkan dan menampilkan jejak resolusi tinggi dari apa yang sedang dilakukan oleh suatu proses
★ 6.250+13Perubahan bintang dalam 7 hari terakhir - #6google-drive-ocamlfuse@astrada
Sistem file FUSE di atas Google Drive
★ 5.961+1Perubahan bintang dalam 7 hari terakhir - #7rocq@rocq-prover
Rocq Prover adalah pembuktian teorema interaktif atau asisten pembuktian. Ini menyediakan bahasa formal untuk menulis definisi matematika, algoritma yang dapat dieksekusi, dan teorema bersama dengan lingkungan untuk pengembangan pembuktian yang diperiksa mesin secara semi-interaktif.
★ 5.557+8Perubahan bintang dalam 7 hari terakhir - #8unison@bcpierce00
Penyinkron file Unison
★ 5.456+7Perubahan bintang dalam 7 hari terakhir - #9opengrep@opengrep
Mesin analisis kode statis untuk menemukan masalah keamanan dalam kode.
★ 2.996+21Perubahan bintang dalam 7 hari terakhir - #10mirage@mirage
MirageOS adalah sistem operasi pustaka yang membangun unikernel.
★ 2.980+2Perubahan bintang dalam 7 hari terakhir - #11comby@comby-tools
Alat penulisan ulang kode untuk pencarian dan penggantian struktural yang mendukung hampir semua bahasa.
★ 2.670+0Perubahan bintang dalam 7 hari terakhir - #122027QuantInternships@northwesternfintech
Repositori magang quant publik, dikelola oleh NUFT tetapi tersedia untuk semua orang.
★ 2.467+12Perubahan bintang dalam 7 hari terakhir - #13catala@CatalaLang
Bahasa pemrograman untuk spesifikasi hukum pemrograman literasi
★ 2.369+4Perubahan bintang dalam 7 hari terakhir - #14bap@BinaryAnalysisPlatform
Platform Analisis Biner
★ 2.254+5Perubahan bintang dalam 7 hari terakhir - #15mina@MinaProtocol
Mina adalah protokol mata uang kripto dengan blockchain berukuran konstan, meningkatkan skalabilitas sambil tetap menjaga desentralisasi dan keamanan.
★ 2.117+1Perubahan bintang dalam 7 hari terakhir - #16irmin@mirage
Irmin adalah database terdistribusi yang mengikuti prinsip desain yang sama dengan Git
★ 1.957+5Perubahan bintang dalam 7 hari terakhir - #17dune@ocaml
Sistem build yang dapat disusun untuk OCaml.
★ 1.911+2Perubahan bintang dalam 7 hari terakhir - #18dream@camlworks
Web framework yang rapi dan kaya fitur
★ 1.877+2Perubahan bintang dalam 7 hari terakhir - #19bincat@airbus-seclab
Penganalisis statis kode biner, dengan integrasi IDA. Melakukan analisis nilai dan taint, rekonstruksi tipe, deteksi use-after-free dan double-free
★ 1.872+2Perubahan bintang dalam 7 hari terakhir - #20liquidsoap@savonet
Liquidsoap adalah bahasa skrip tujuan umum dengan pengetikan statis yang dilengkapi operator khusus dan backend untuk segala hal tentang media, streaming, pembuatan file, otomasi, backend HTTP, dan banyak lagi.
★ 1.721+2Perubahan bintang dalam 7 hari terakhir - #21merlin@ocaml
Penyelesaian kode sensitif konteks untuk OCaml di Vim dan Emacs
★ 1.703+3Perubahan bintang dalam 7 hari terakhir - #22plzoo@andrejbauer
Kebun Binatang Bahasa Pemrograman
★ 1.592+0Perubahan bintang dalam 7 hari terakhir - #23austral@austral
Bahasa sistem dengan tipe linier dan keamanan berbasis kapabilitas.
★ 1.572+3Perubahan bintang dalam 7 hari terakhir - #24incremental@janestreet
Pustaka untuk komputasi inkremental
★ 1.501+6Perubahan bintang dalam 7 hari terakhir - #25bonsai@janestreet
Pustaka untuk membangun webapp dinamis menggunakan Js_of_ocaml
★ 1.391+5Perubahan bintang dalam 7 hari terakhir - #26opam@ocaml
opam adalah manajer paket berbasis sumber. Mendukung beberapa instalasi compiler secara bersamaan, batasan paket yang fleksibel, dan alur kerja pengembangan yang ramah Git.
★ 1.376+2Perubahan bintang dalam 7 hari terakhir - #27owl@owlbarn
Owl - Komputasi Ilmiah OCaml @ https://ocaml.xyz
★ 1.351+1Perubahan bintang dalam 7 hari terakhir - #28core@janestreet
Overlay pustaka standar Jane Street Capital
★ 1.319+3Perubahan bintang dalam 7 hari terakhir - #29stategraph@stategraph
Terraform tanpa hambatan file state
★ 1.269+6Perubahan bintang dalam 7 hari terakhir - #30book@realworldocaml
V2 dari Real World OCaml
★ 1.261+1Perubahan bintang dalam 7 hari terakhir
