UNB Theorem Prover?

İlgili Programlar

• fastAOP Ücret -siz

  FastAOP java için çok yüksek performant AOP (Aspect Oriented Programming) çerçevesidir. Çerçeve başlangıçta oldu neredeyse hiç zaman fazla lık ile büyük J2EE uygulamaları için performans profilleme ve izleme desteklemek içi

• Butterfly Code Generator Ücret -siz

  Kelebek giriş ve XSLT şablonları kod her türlü oluşturmak için XMI kullanarak basit bir Kod Jeneratör. EJB, JDO ve Struts dahil olmak üzere çeşitli şablonlar sağlanır. Kullanıcılar şablonları kullanabilir, değiştirebilir vey

• Neural network designer Ücret -siz

  Bu proje, birkaç demo uygulaması (MVC3 chatbot istemcisi ve android uygulaması dahil) ile birlikte bir pencere tabanlı tasarımcı uygulaması ve bir kütüphane (android dahil olmak üzere birden fazla platformda çalıştırabilirsin

• DL-Learner Ücret -siz

  DL-Learner, kullanıcı tarafından sağlanan örneklerden Açıklama Mantığı 'ndaki (DLs) kavramları öğrenmek için bir araçtır. Buna benzer şekilde, seçili nesnelerden OWL ontolojisi sınıfları öğrenmek için kullanılabilir.

• MakeEmbeddedRootfilesystem Ücret -siz

  Makerootfs, kabuk komut dosyaları, yamalar ve varsayılan configs aracılığıyla çapraz derleme işlemini otomatikleştirerek gömülü aygıtlar için (örneğin ARM tabanlı) bir kök dosya sistemi oluşturmayı kolaylaştırır. üClibc kulla

• VCS Agents and Tools Ücret -siz

  Bu projenin amacı, Veritas Cluster Server için Açık Kaynak bazında eklentiler ("agents") sağlamaktır.

• Etnia Workbench Ücret -siz

  CDT proje uzantıları wich çeşitli plattform entegre yapmak için ekstra derleyiciler ve diğer eklentileri yapılandırmak (aslında Texas Instrument & PIC mikroişlemciler)

• Steini\'s Mini Compiler Ücret -siz

  Steini 's Mini Derleyici hızlı bir DOS 16 bit derleyici. Lütfen programlama dilini yeni komutlar yazma geliştirmek için yardımcı olur. Derleyici derleme işlemi için bir derleme dosyaları kümesi kullanır.

• JCustomizer Ücret -siz

  JCustomizer projenin hedefi çalışma zamanında her Java Swing / AWT GUI genel ve kalıcı özelleştirme: yazı tipleri, renkler, metinler, hızlandırıcılar, ... Güzel bir eşlik programlama çabaları olmadan uluslararasılaşma bir WYS

• net.sourceforge.ajstruts Ücret -siz

  11/2003'te Alman "Java Magazin" dergisinde yayınlanan bir makalenin kaynak kodu (http://ajstruts.sf.net), AspectJ ve XSLT stil lerini kullanarak 3.