Hantar Perisian
  1. Rumah
  2. Linux
  3. Lain
  4. The Checker Framework

The Checker Framework

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 4.0/5 - ‎1 ‎Undi
Muat turun

Rangka kerja Pemeriksa adalah satu set pemeriksaan/transformasi yang mudah dipanaskan untuk membina hierarki operasi rantaian dengan mudah ke kedai/ yang akan dicipta dan digunakan semula (pada masa jalanan jika anda mahu).

sejarah versi

  • Versi files diposkan pada 2010-06-21
    Beberapa pembaikan dan pengemaskinian
  • Versi N/A diposkan pada 2010-06-21

Butiran Atur Cara

Atur Cara Berkaitan

  • ajaxWM Percuma

    ajaxWM adalah pengurus tetingkap berasaskan ajax-and-python yang bertema, yang menyediakan pelbagai terminal fleksibel dalam pelayar web untuk mengawal jauh komputer yang selesa melalui rangkaian tanpa perlu memasang sebarang

  • Twick.it API Wrapper Percuma

    Jika anda ingin menggunakan api Twick.it anda perlu melihat pembalut ini. Dengan hanya memanggil beberapa kaedah statik anda boleh membaca data dari API dan tidak perlu mengambil berat tentang semua barangan REST seperti meng

  • WURDE Percuma

    WURDE adalah perisian tengah untuk pembangunan aplikasi robotik. Ia direka untuk menjadi mudah untuk membangunkan dan mudah untuk menambah sokongan untuk protokol komunikasi alternatif. Ia termasuk sistem pengurusan modul.

  • vTpl - Templating System Percuma

    vTpl adalah sistem templat terbang untuk laman web dinamik. vTpl bertujuan untuk pemaju yang ingin mendapatkan logik paparan mereka jauh dari logik perniagaan tanpa sistem templating besar. vTpl menyokong cache pintar yang ak

  • KML share Percuma

    kmlshare adalah perisian laman web berasaskan peta google. Pengguna boleh memuat naik fail kml ke laman web ini, yang dihuraikan dan tanda tempat disimpan dalam pangkalan data, menjadikan kandungan boleh dilayari dan boleh di

  • PHersistence Percuma

    PHersistence adalah rangka kerja pengekalan hubungan objek yang kuat yang ditulis untuk PHP. Bertujuan untuk menampung pangkalan data yang paling biasa digunakan backends dari db2 ke MySQL dan Kemajuan. Matlamat PHersistence

  • Lamino Percuma

    Lamino adalah metalanguage konfigurasi peringkat tinggi yang meningkatkan asas IoC (Penyongsangan Kawalan a.k.a. Suntikan Pergantungan) dengan lapisan konfigurasi dan komponen terkandung.

  • PIES 3.14159... complement ECMAScript 3! Percuma

    PIES menyediakan mekanisme pakej/import yang tidak hadir dalam ES3 (Spesifikasi Bahasa ECMAScript edisi ke-3, standard untuk JavaScript, JScript). Dan dengan banyak perpustakaan terpilih, PIES akan melengkapkan ES3!

  • Kaolak Community System Percuma

    Kaolak adalah sytem komuniti berasaskan web yang berjalan di Apache dengan PHP4 dan MySql. Komuniti ditakrifkan oleh pengguna dan dokumen dan membentuk cawangan kaolak. Kaolak direka untuk mengendalikan banyak cawangan se

  • bisrulz Percuma

    Enjin peraturan yang didorong metadata berdasarkan Jawa. Enjin ini akan membolehkan anda mengkonfigurasi metadata khusus domain anda sendiri. Ia menyediakan ciri-ciri seperti definisi peraturan dinamik, rantaian peraturan dan