Set China 1.0.0

Các chương trình liên quan

• My Language ID Miễn phí

  Đây là một ứng dụng đơn giản được phát triển để giúp các nhà phát triển phát hiện ID ngôn ngữ và tham chiếu quốc gia được cấu hình trên thiết bị Android.

• Alleyoop Miễn phí

  Alleyoop là một front-end GNOME để kiểm tra bộ nhớ Valgrind

• DOC2IGC Miễn phí

  Công cụ này có thể được sử dụng để chuyển đổi các bản ghi chuyến bay soaring Pilot tạo ra ở định dạng Palm DOC để IGC logger tập tin (s) để sử dụng với phần mềm phân tích chuyến bay như SeeYou và SoaringDotNet hoặc để tải lên

• myinit Miễn phí

  Đơn giản 'init' chương trình với thực hiện song song và phụ thuộc thông qua tham chiếu đếm ('bắt đầu' và 'dừng' lệnh).

• Breki CCNet Utilities Miễn phí

  Plugin cho CruiseControl.NET. Hiện tại chỉ có một plugin có sẵn: BrekiLabeller - một labeller tùy chỉnh cho CruiseControl.NET. Cho phép ghi nhãn bản dựng ở định dạng "tiền tố-M.m.B.R". Tương tự với NAnt Contrib

• svnauthzctl Miễn phí

  Tiện ích nhỏ để quản lý các quy tắc truy cập vào kho lưu trữ Subversion, chỉnh sửa tập tin conf / authz.

• Common Lisp Graph Tools Miễn phí

  Một thư viện Lisp thông thường để đại diện và thao tác đồ thị. Các thuật toán được thực hiện: isomorphism subgraph (Ullman), automorphism, canonicalization (Nauty), connected-components/union-find.

• MetaAgent Miễn phí

  Thư viện C++ được tạo mẫu đầy đủ cho Hành vi chỉ đạo của các đại lý tự trị (ký tự). Thư viện đến như là gói, nơi bạn có thể tạo ra hành vi của riêng bạn bằng cách sử dụng sức mạnh của các mẫu.

• OpenPoplog Miễn phí

  OpenPoplog là một môi trường phát triển dựa trên máy ảo đa ngôn ngữ, được biên dịch từng bước với tài liệu giảng dạy và hỗ trợ mở rộng của riêng mình, hỗ trợ các ngôn ngữ Pop-11, Prolog, Common Lisp và ML trên Unix, VMS, Linu

• UNB Theorem Prover? Miễn phí

  Định lý tự động Prover thực hiện trong Java và sử dụng cây mệnh đề. Phần mềm này sẽ có thể đọc định lý toán học từ TPTP và chứng minh hoặc bác bỏ chúng.