Archive of Formal Proofs 2011

Atur Cara Berkaitan

• ADAM Abstract Data Access Models Percuma

  2 Java rangka kerja dengan model objek yang telus dan berterusan berdasarkan pendekatan nonstandard (pembangunan yang kurang jelas tetapi lebih cepat): objek adalah satu set medan yang dinamakan. 3 perpustakaan bukan objek me

• Jedora Remix VM Percuma

  Perkakas Mesin Maya Linux (untuk Kotak Maya). Fedora Remix ini memberi penekanan kepada aplikasi berasaskan Java. Termasuk OpenOffice.org, OpenJDK, pemalam pelayar (IcedTea), dan aplikasi berasaskan Jawa popular seperti Azure

• DataAide Percuma

  DataAide adalah aplikasi desktop VB.Net yang menggunakan alat pelanggan SQL Server 2000 untuk menjana kelas VB.Net, C#, atau VB6 dan prosedur yang disimpan untuk jadual dalam pangkalan data SQL Server 2k. Ia juga menjana ADO.

• BlackFox OM (30' Series) Percuma

  BlackFox OM (BlackFox, Model Objek) adalah perpustakaan untuk memegang dan memanipulasi model objek mana-mana sistem, aplikasi dan perpustakaan. Anda boleh menggunakannya sebagai sebahagian daripada alat UML, sebahagian darip

• InfraHID Percuma

  Tujuan projek adalah untuk membolehkan webcam biasa digunakan sebagai Peranti Antara Muka Manusia (HID). Contoh cara menggunakan perisian ini akan digunakan adalah: tetikus, mengawal permainan video, papan putih elektronik, a

• Prop compiler compiler Percuma

  Prop adalah bahasa padanan corak berdasarkan C++. Ia melaksanakan taip data algebra, pemadanan corak dan penulisan semula, dan menjana kod C++ sebagai output.

• ga-flamoot Percuma

  Algoritma genetik di Python untuk program berkembang yang menulis rentetan yang diberikan kepada ruang data yang diperuntukkan, menggunakan bahasa mesin buatan dengan hanya 7 arahan dan pembalikan aliran.

• Fennel Percuma

  Fennel adalah perpustakaan storan data dan komponen pemprosesan yang ditulis dalam C++. Ia dibangunkan sebagai sub-projek Projek Eigenbase, dan juga berfungsi sebagai substrat untuk projek Farrago.

• NExcel Percuma

  Perpustakaan NExcel membolehkan aplikasi .NET untuk membaca fail Cik Excel, serasi dengan Excel 97 dan atas. Tidak perlu memasang Cik Office Excel atau mana-mana perpustakaan pihak ketiga. Berdasarkan JExcelAPI oleh And

• OpenTag Percuma

  OpenTag adalah timbunan komunikasi yang diketengahkan sepenuhnya untuk DASH7 Mode 2 (ISO 18000-7.4). Ia bertujuan untuk menjalankan HW terbenam, terutamanya RF SoC, tetapi ia boleh di ported kepada hampir apa-apa. Pencapaian