Archive of Formal Proofs 2011

Programmes connexes

• ADAM Abstract Data Access Models Gratuit

  2 frameworks Java avec des modèles d’objets transitoires et persistants basés sur une approche non standard (développement moins évident mais plus rapide) : un objet est un ensemble de champs nommés. 3 bibliothèques non-objet

• Jedora Remix VM Gratuit

  Un appareil Virtual Machine Linux (pour Virtualbox). Ce Remix Fedora met l’accent sur les applications basées sur Java. Inclut OpenOffice.org, OpenJDK, les plug-ins de navigateur (IcedTea), et les applications java populaires

• DataAide Gratuit

  DataAide est une application de bureau VB.Net qui utilise les outils clients SQL Server 2000 pour générer des classes VB.Net, C#ou VB6 et des procédures stockées pour les tables dans une base de données SQL Server 2k. Il génè

• BlackFox OM (30' Series) Gratuit

  BlackFox OM (BlackFox, The Object Model) est une bibliothèque pour la tenue et la manipulation de modèles d’objets de tous les systèmes, applications et bibliothèques. Vous pouvez l’utiliser comme une partie des outils UML, u

• InfraHID Gratuit

  Le but du projet est de permettre à une webcam normale d’être utilisée comme dispositif d’interface humaine (HID). Des exemples de la façon d’utiliser ce logiciel seraient utilisés sont: souris, jeux vidéo de contrôle, tablea

• Prop compiler compiler Gratuit

  Prop est un langage correspondant au motif basé sur C++. Il implémente des types de données algébriques, l’appariement et la réécriture de motifs, et génère du code C++ en tant que sortie.

• ga-flamoot Gratuit

  Un algorithme génétique dans Python pour l’évolution des programmes qui écrivent une chaîne donnée à un espace de données alloué, en utilisant un langage machine composé avec seulement 7 instructions et l’inversion de flux.

• Fennel Gratuit

  Fenouil est une bibliothèque de composants de stockage et de traitement des données écrits en C++. Il est développé comme un sous-projet du projet Eigenbase, et sert également de substrat pour le projet Farrago.

• NExcel Gratuit

  La bibliothèque NExcel permet à une application .NET de lire les fichiers De Mme Excel, compatible avec Excel 97 et supérieur. Pas besoin d’installer Mme Office Excel ou des bibliothèques tierces. D’après JExcelAPI d’An

• OpenTag Gratuit

  OpenTag est une pile de communications complète pour dash7 mode 2 (ISO 18000-7.4). Il est destiné à fonctionner sur HW intégré, en particulier les RF SoCs, mais il peut être porté à presque n’importe quoi. L’exploit principal