Các thư viện được viết bằng OCaml
flow
Thêm kiểu gõ tĩnh vào JavaScript để cải thiện năng suất và chất lượng mã của nhà phát triển..
- 22.0k
- MIT
semgrep
Phân tích tĩnh nhẹ cho nhiều ngôn ngữ. Tìm các biến thể lỗi có mẫu trông giống như mã nguồn..
- 8.5k
- GNU Lesser General Public License v3.0 only
ocaml
Hệ thống OCaml cốt lõi: trình biên dịch, hệ thống thời gian chạy, thư viện cơ sở.
- 4.6k
- GNU General Public License v3.0
coq
Coq là một hệ thống quản lý bằng chứng chính thức. Nó cung cấp một ngôn ngữ chính thức để viết các định nghĩa toán học, các thuật toán và định lý có thể thực hiện được cùng với một môi trường để phát triển bán tương tác các bằng chứng được kiểm tra bằng máy.
- 4.3k
- GNU Lesser General Public License v3.0 only
magic-trace
Magic-trace thu thập và hiển thị các dấu vết có độ phân giải cao về những gì một quá trình đang thực hiện.
- 4.1k
- MIT
pfff
Các công cụ để phân tích mã, trực quan hóa hoặc chuyển đổi nguồn giữ nguyên kiểu..
- 2.4k
- GNU General Public License v3.0
comby
Một công cụ viết lại mã để tìm kiếm và thay thế cấu trúc hỗ trợ ~ mọi ngôn ngữ..
- 2.1k
- Apache License 2.0
mina
Mina là một loại tiền điện tử mới với chuỗi khối có kích thước không đổi, cải thiện quy mô trong khi vẫn duy trì tính phi tập trung và bảo mật. (bởi Giao thức Mina).
- 1.8k
- Apache License 2.0
bincat
Bộ phân tích tĩnh mã nhị phân, có tích hợp IDA. Thực hiện phân tích giá trị và dấu vết, tái tạo kiểu, phát hiện sử dụng sau khi sử dụng miễn phí và không sử dụng gấp đôi.
- 1.5k
opam
opam là trình quản lý gói dựa trên nguồn. Nó hỗ trợ nhiều cài đặt trình biên dịch đồng thời, các ràng buộc gói linh hoạt và quy trình phát triển thân thiện với Git..
- 1.1k
- GNU General Public License v3.0
SATySFi
Một hệ thống sắp chữ chức năng được gõ tĩnh.
- 1.1k
- GNU Lesser General Public License v3.0 only
caramel
:candy: một ngôn ngữ chức năng để xây dựng các ứng dụng an toàn, có thể mở rộng và có thể bảo trì.
- 995
- Apache License 2.0
