Archive of Formal Proofs 2011

Gerelateerde programma's

• ADAM Abstract Data Access Models Gratis

  2 Java-frameworks met tijdelijke en permanente objectmodellen op basis van niet-standaardbenadering (minder evidente maar snellere ontwikkeling): een object is een verzameling benoemde velden. 3 niet-objectbibliotheken die de

• Jedora Remix VM Gratis

  Een Virtual Machine Linux toestel (voor Virtualbox). Deze Fedora Remix legt de nadruk op Java gebaseerde toepassingen. Bevat OpenOffice.org, OpenJDK, browserplug-ins (IcedTea) en populaire Java-gebaseerde toepassingen zoals A

• DataAide Gratis

  DataAide is een VB.Net desktoptoepassing die SQL Server 2000-clienttools gebruikt om VB.Net-, C-of VB6-klassen en opgeslagen procedures voor tabellen in een SQL Server 2k-database te genereren. Het genereert ook ADO.Net- of A

• BlackFox OM (30' Series) Gratis

  BlackFox OM (BlackFox, The Object Model) is een bibliotheek voor het vasthouden en manipuleren van objectmodellen van systemen, toepassingen en bibliotheken. U het gebruiken als onderdeel van UML tools, onderdeel van code gen

• InfraHID Gratis

  Het doel van het project is om een normale webcam te gebruiken als een Human Interface Device (HID). Voorbeelden van hoe deze software te gebruiken zou worden gebruikt zijn: muis, controle videogames, elektronische white boar

• Prop compiler compiler Gratis

  Prop is een patroon matching taal op basis van C ++. Het implementeert algebraïsche gegevenstypen, patroonmatching en herschrijven, en genereert C++ code als uitvoer.

• ga-flamoot Gratis

  Een genetisch algoritme in Python voor evoluerende programma's die een bepaalde tekenreeks schrijven naar een toegewezen gegevensruimte, met behulp van een verzonnen machinetaal met slechts 7 instructies en omkering van de st

• Fennel Gratis

  Venkel is een bibliotheek met componenten voor gegevensopslag en -verwerking die in C++ is geschreven. Het is ontwikkeld als een subproject van The Eigenbase Project, en dient ook als substraat voor het Farrago project.

• NExcel Gratis

  Met de NExcel-bibliotheek kan een .NET-toepassing Ms Excel-bestanden lezen, compatibel met Excel 97 en bovenwerk. Office Excel of bibliotheken van derden hoeven niet te worden geïnstalleerd. Gebaseerd op JExcelAPI door

• OpenTag Gratis

  OpenTag is een volledige communicatiestack voor DASH7 Mode 2 (ISO 18000-7.4). Het is bedoeld om te draaien op embedded HW, met name RF SoCs, maar het kan worden geport om bijna alles. OpenTag's belangrijkste prestatie is de g