The Checker Framework

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

• ajaxWM Miễn phí

  ajaxWM là một trình quản lý cửa sổ dựa trên ajax và python theo chủ đề, cung cấp nhiều thiết bị đầu cuối linh hoạt trong trình duyệt web để điều khiển từ xa máy tính thoải mái thông qua mạng mà không cần phải cài đặt bất kỳ p

• Twick.it API Wrapper Miễn phí

  Nếu bạn muốn sử dụng API Twick.it, bạn nên xem trình bao bọc này. Chỉ cần gọi một số phương thức tĩnh, bạn có thể đọc dữ liệu từ API và không phải quan tâm đến tất cả các công cụ REST như gửi yêu cầu HTTP hoặc phân tích dữ li

• WURDE Miễn phí

  WURDE là middleware để phát triển ứng dụng robot. Nó được thiết kế để được tối đa đơn giản để phát triển và dễ dàng để thêm hỗ trợ cho các giao thức truyền thông thay thế. Nó bao gồm một hệ thống quản lý mô-đun.

• vTpl - Templating System Miễn phí

  vTpl là một hệ thống templating trên bay cho các trang web năng động. vTpl dành cho các nhà phát triển muốn có được logic hiển thị của họ ra khỏi logic kinh doanh mà không có một hệ thống templating cồng kềnh lớn. vTpl hỗ trợ

• KML share Miễn phí

  kmlshare là một google bản đồ api dựa trên phần mềm trang web. Người dùng có thể tải các tệp kml lên trang web, được phân tích cú pháp và dấu vị trí được lưu trữ trong cơ sở dữ liệu, làm cho nội dung có thể xem được và có thể

• PHersistence Miễn phí

  PHersistence là một đối tượng mạnh mẽ quan hệ kiên trì khuôn khổ bằng văn bản cho PHP. Nhằm mục đích bao gồm các phụ trợ cơ sở dữ liệu được sử dụng phổ biến nhất từ db2 đến MySQL và Progress. Mục tiêu của PHersistence là để g

• Lamino Miễn phí

  Lamino là một metalanguage cấu hình cao giúp tăng cường IoC cơ bản (Inversion of Control còn gọi là Dependency Injection) với cấu hình phân lớp và các thành phần đóng gói.

• PIES 3.14159... complement ECMAScript 3! Miễn phí

  PIES cung cấp cơ chế đóng gói/ nhập khẩu vắng mặt trong ES3 (ECMAScript Language Specification 3rd edition, tiêu chuẩn cho JavaScript, JScript). Và với nhiều thư viện được lựa chọn, PIES sẽ bổ sung cho ES3!

• Kaolak Community System Miễn phí

  Kaolak là một sytem cộng đồng dựa trên web chạy trên Apache với PHP4 và MySql. Một cộng đồng được xác định bởi người dùng và tài liệu của nó và tạo thành một chi nhánh kaolak. Kaolak được thiết kế để xử lý nhiều chi nhánh

• bisrulz Miễn phí

  Một công cụ quy tắc điều khiển siêu dữ liệu dựa trên Java. Công cụ này sẽ cho phép bạn cấu hình siêu dữ liệu cụ thể tên miền của riêng bạn. Nó cung cấp các tính năng như định nghĩa quy tắc động, chuỗi các quy tắc và rất dễ xá