Chuyển tới nội dung chính
buildradar
Sign in
Chủ đề · ocaml

ocaml

Các kho mã nguồn mở đang theo dõi được gắn thẻ ocaml, sắp xếp theo số sao.

Kho mã
38
Tổng số sao
92.847
Số sao trung bình
2.443
Tỷ trọng
0,00%

Những chủ đề thường xuất hiện cùng ocaml trên cùng một kho mã.

Mới nổi gần đây

Các kho mã tạo trong 90 ngày qua và được gắn thẻ ocaml.

Không có kho mã mới nào gắn thẻ chủ đề này trong 90 ngày qua.

  • Mã nguồn PDF và LaTeX phi chính thức cho cuốn 'Category Theory for Programmers' của Bartosz Milewski

    11.690+9Thay đổi số sao trong 7 ngày qua
  • reason@reasonml

    Mã nguồn đơn giản, nhanh chóng và an toàn về kiểu dữ liệu tận dụng hệ sinh thái JavaScript & OCaml

    10.321-2Thay đổi số sao trong 7 ngày qua
  • awesomo@lk-geimfari

    Các dự án mã nguồn mở thú vị. Hãy chọn dự án của bạn và tham gia phát triển mã nguồn mở ngay bây giờ.

    9.932+7Thay đổi số sao trong 7 ngày qua
  • ocaml@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ở

    6.548+11Thay đổi số sao trong 7 ngày qua
  • Hệ thống tệp FUSE trên Google Drive

    5.964+5Thay đổi số sao trong 7 ngày qua
  • extism@extism

    Framework xây dựng với WebAssembly (wasm). Dễ dàng & bảo mật tải các môジュール wasm, di chuyển dữ liệu, gọi hàm và xây dựng các ứng dụng mở rộng.

    5.751+12Thay đổi số sao trong 7 ngày qua
  • klipse@viebel

    Klipse là một plugin JavaScript dùng để nhúng các đoạn mã tương tác trong các blog công nghệ.

    3.134+0Thay đổi số sao trong 7 ngày qua
  • awesome-ocaml@ocaml-community

    Bộ sưu tập các công cụ, framework, thư viện và bài viết tuyệt vời về OCaml.

    3.112+2Thay đổi số sao trong 7 ngày qua
  • FStar@FStarLang

    Một ngôn ngữ lập trình hướng chứng minh

    3.103+3Thay đổi số sao trong 7 ngày qua
  • mirage@mirage

    MirageOS là một hệ điều hành thư viện xây dựng các unikernel

    2.982+1Thay đổi số sao trong 7 ngày qua
  • bap@BinaryAnalysisPlatform

    Nền tảng phân tích nhị phân

    2.254+1Thay đổi số sao trong 7 ngày qua
  • mina@MinaProtocol

    Mina là một giao thức tiền điện tử với blockchain kích thước cố định, cải thiện khả năng mở rộng đồng thời duy trì tính phi tập trung và bảo mật.

    2.117+1Thay đổi số sao trong 7 ngày qua
  • irmin@mirage

    Irmin là một cơ sở dữ liệu phân tán tuân theo các nguyên tắc thiết kế giống như Git

    1.956-1Thay đổi số sao trong 7 ngày qua
  • dune@ocaml

    Một hệ thống build có thể lắp ghép dành cho OCaml.

    1.912+1Thay đổi số sao trong 7 ngày qua
  • dream@camlworks

    Web framework gọn gàng và đầy đủ tính năng

    1.879+1Thay đổi số sao trong 7 ngày qua
  • merlin@ocaml

    Hoàn thành nhạy cảm ngữ cảnh cho OCaml trong Vim và Emacs.

    1.704+0Thay đổi số sao trong 7 ngày qua
  • nodebook@netgusto

    Nodebook - Web REPL đa ngôn ngữ + Trình chạy mã CLI.

    1.643+0Thay đổi số sao trong 7 ngày qua
  • opam@ocaml

    opam là trình quản lý gói dựa trên mã nguồn. Nó hỗ trợ cài đặt nhiều 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.376+0Thay đổi số sao trong 7 ngày qua
  • stategraph@stategraph

    Terraform không bị nghẽn cổ chai tệp trạng thái (state file)

    1.279+11Thay đổi số sao trong 7 ngày qua
  • SATySFi@gfngfn

    Một hệ thống đánh máy chức năng, kiểu tĩnh

    1.247+0Thay đổi số sao trong 7 ngày qua
  • hazel@hazelgrove

    Hazel, một môi trường lập trình hàm trực tiếp với các typed hole

    1.142+2Thay đổi số sao trong 7 ngày qua
  • js_of_ocaml@ocsigen

    Trình biên dịch từ OCaml sang Javascript.

    1.130+0Thay đổi số sao trong 7 ngày qua
  • aeneas@AeneasVerif

    Chuỗi công cụ xác minh cho các chương trình Rust

    944+8Thay đổi số sao trong 7 ngày qua
  • felix@felix-lang

    Ngôn ngữ lập trình Felix

    817+0Thay đổi số sao trong 7 ngày qua
  • lwt@ocsigen

    Promises và I/O đồng thời trong OCaml

    792+1Thay đổi số sao trong 7 ngày qua
  • ocaml-cohttp@mirage

    Một thư viện OCaml cho các máy khách và máy chủ HTTP sử dụng Lwt hoặc Async

    777+1Thay đổi số sao trong 7 ngày qua
  • ocamlformat@ocaml-ppx

    Công cụ tự động định dạng mã nguồn OCaml.

    730+0Thay đổi số sao trong 7 ngày qua
  • eio@ocaml-multicore

    IO theo phong cách trực tiếp dựa trên hiệu ứng cho OCaml đa nhân

    722+0Thay đổi số sao trong 7 ngày qua
  • angstrom@inhabitedtype

    Bộ kết hợp trình phân tích cú pháp được xây dựng để tối ưu tốc độ và bộ nhớ

    705+1Thay đổi số sao trong 7 ngày qua
  • query-json@davesnx

    Triển khai ngôn ngữ lấy cảm hứng từ jq nhanh hơn, đơn giản hơn và di động hơn bằng OCaml

    636+0Thay đổi số sao trong 7 ngày qua
← Quay lại danh sách chủ đề