Archive of Formal Proofs 2011

İlgili Programlar

• ADAM Abstract Data Access Models Ücret -siz

  2 Standart olmayan yaklaşıma (daha az belirgin ama daha hızlı geliştirme) dayalı geçici ve kalıcı nesne modellerine sahip Java çerçeveleri: bir nesne adlandırılmış alanlar kümesidir. RDB'de, metin dosyalarında vb. depolanan t

• Jedora Remix VM Ücret -siz

  Bir Sanal Makine Linux cihazı (Virtualbox için). Bu Fedora Remix Java tabanlı uygulamalar üzerinde vurgu koyar. OpenOffice.org, OpenJDK, tarayıcı eklentileri (IcedTea) ve Azureus/Vuze, jEdit ve daha fazlası gibi popüler Java

• DataAide Ücret -siz

  DataAide, sql server 2k veritabanında VB.Net, C# veya VB6 sınıfları ve tablolar için depolanmış yordamlar oluşturmak için SQL Server 2000 istemci araçlarını kullanan VB.Net bir masaüstü uygulamasıdır. Ayrıca, depolanan yordam

• BlackFox OM (30' Series) Ücret -siz

  BlackFox OM (BlackFox, Nesne Modeli) herhangi bir sistem, uygulama ve kütüphanelerin nesne modellerini tutmak ve işlemek için bir kütüphanedir. Uml araçlarının bir parçası, kod jeneratörleri, nesne yönelimli işletim sistemler

• InfraHID Ücret -siz

  Projenin amacı normal bir web kamerası nın İnsan Arabirimi Aygıtı (HID) olarak kullanılmasına izin vermektir. Bu yazılımın nasıl kullanılacağına örnek olarak şunlar verilebilir: fare, kontrol video oyunları, elektronik beyaz

• Prop compiler compiler Ücret -siz

  Prop, C++'a dayalı bir desen eşleştirme dilidir. Cebirsel veri tiplerini, desen eşleştirmesini ve yeniden yazmayı uygular ve çıktı olarak C++ kodu oluşturur.

• ga-flamoot Ücret -siz

  Python'da, yalnızca 7 yönerge ve akış tersine çevirmeiçeren uydurma bir makine dili kullanarak, ayrılmış bir veri alanına belirli bir dize yazan gelişen programlar için genetik algoritma.

• Fennel Ücret -siz

  Rezene, C++'da yazılmış veri depolama ve işleme bileşenlerinin kütüphanesidir. Eigenbase Projesi'nin bir alt projesi olarak geliştirilen proje, Farrago projesinin bir alt katmanı olarak da hizmet vermektedir.

• NExcel Ücret -siz

  NExcel kitaplığı bir .NET uygulamasının Ms Excel dosyalarını okumasını sağlar, Excel 97 ve üstü ile uyumludur. Ms Office Excel'i veya herhangi bir üçüncü taraf kitaplıklarını yüklemenize gerek yoktur. Andrew Khan tarafı

• OpenTag Ücret -siz

  OpenTag, DASH7 Modu 2 (ISO 18000-7.4) için tam özellikli bir iletişim yığınıdır. Gömülü HW, özellikle RF SoCs üzerinde çalıştırmak için tasarlanmıştır, ancak hemen hemen her şey için taşınabilir. OpenTag ana feat onun büyük ö