UNB Theorem Prover?

Gerelateerde programma's

• fastAOP Gratis

  FastAOP is een zeer hoog performant AOP (Aspect Oriented Programming) framework voor Java. Het kader werd aanvankelijk ontwikkeld om prestatieprofilering en monitoring te ondersteunen voor grote J2EE-toepassingen zonder ove

• Butterfly Code Generator Gratis

  Butterfly is een eenvoudige codegenerator die XMI gebruikt als invoer- en XSLT-sjablonen om elk type code te genereren. Er zijn verschillende sjablonen aanwezig, waaronder EJB, JDO en Struts. Gebruikers kunnen de sjablonen g

• Neural network designer Gratis

  Dit project bestaat uit een windows gebaseerde designer applicatie en een bibliotheek (die kan draaien op meerdere platforms, waaronder Android) samen met verschillende demo-applicaties (waaronder een MVC3 chatbot client en e

• DL-Learner Gratis

  DL-Learner is een hulpmiddel voor het leren van concepten in Description Logics (DLs) uit door de gebruiker verstrekte voorbeelden. Evenzo kan het worden gebruikt om lessen te leren in OWL ontologieën van geselecteerde object

• MakeEmbeddedRootfilesystem Gratis

  Makerootfs maakt het eenvoudig om een root-bestandssysteem voor embedded devices (bijvoorbeeld ARM-gebaseerd) te bouwen door het cross-compileren proces te automatiseren via shell scripts, patches en standaard configs. In teg

• VCS Agents and Tools Gratis

  Het doel van dit project is om plugins ("agents") te leveren voor de Veritas Cluster Server op Open Source basis.

• Etnia Workbench Gratis

  Uitbreidingen naar CDT-project die extra compilers en andere plug-ins configureren om verschillende plattform (eigenlijk Texas Instrument & PIC microprocessors) te integreren

• Steini\'s Mini Compiler Gratis

  Steini\\ Gelieve te helpen bij het verbeteren van de programmeertaal het schrijven van nieuwe commando's. De compiler gebruikt een set assemblagebestanden voor het compilatieproces.

• JCustomizer Gratis

  Het doel van JCustomizer project is de generieke en aanhoudende aanpassing van elke Java Swing / AWT GUI op runtime: lettertypen, kleuren, teksten, versnellers, ... Een leuke begeleiding is een WYSIWYG toegang tot internation

• net.sourceforge.ajstruts Gratis

  Broncode van een artikel (http://ajstruts.sf.net) gepubliceerd in 11/2003 in het Duitse "Java Magazin" magazine, laat zien hoe je libs van derden (bijvoorbeeld veerpoten) aanpassen aan projectbehoeften en migratie n