Syndication : Atom 1.0  RSS 2.0
Blogs des développeurs   »   Le blog de SpiceGuid

Catégories: Logiciel Libre, ERic, Linux

19/04/2012

Permalink 16:27:23, Catégories: Récapitulatif, Logiciel Libre, ERic, 79 mots   French (FR) , SpiceGuid

ERic disponible en version 0.2a

Ce billet annonce la disponibilité immédiate d'ERic v0.2a

ERic (Entity-Relationship interactive calculator) est un jeune logiciel libre, en ligne de commande, sous licence EUPL-1.1.
ERic permet d'éditer et de sauvegarder des ontologies et des bases de connaissance sous forme de graphes entités/relations. Ensuite, grâce à son algorithme de subsomption, ERic est capable d'interroger sa base de connaissance de façon remarquablement flexible.

Vous devez être identifié pour poster un commentaire.

05/04/2010

Permalink 20:01:41, Catégories: Récapitulatif, Programmation fonctionnelle, Logiciel Libre, 149 mots   French (FR) , SpiceGuid

Raincat, le chaton craintif

Ce n'est pas la première fois que je vous parle de jeu-vidéo et de programmation fonctionnelle.
Cette fois il s'agit de Raincat, un jeu SDL écrit en Haskell, pour Windows et Linux.

Le jeu consiste à déposer les accessoires (dans la colonne à droite) sur le parcours du chaton afin que celui-ci atteigne la sortie du niveau malgré la pluie et diverses projections d'eau. Car le Raincat est réellement hydrophobe, la moindre goutte sur son pelage délicat et vous devrez recommencer le niveau.

À vrai dire ce petit puzzle ne m'a pas rendu accro. Maintenir un chaton propre et toujours au sec m'apparaît difficilement comme un enjeu ludique motivant.

Ce qui est peut être plus intéressant que le jeu en lui-même c'est le témoignage que le fossé qui séparaient les langages académiques des applications quotidiennes se comble de jours en jours.

Vous devez être identifié pour poster un commentaire.

30/01/2010

Permalink 16:56:10, Catégories: Récapitulatif Linux, Récapitulatif, Linux, Objective Caml, 360 mots   French (FR) , SpiceGuid

[Linux] Personnalisez vos fichiers source

Un MIME (Multipurpose Internet Mail Extension) est une information système pour identifier les types de fichier et leur affecter certains attributs comme une commande par défaut ou une icône personnalisée.

Ce billet vous propose d'agrémenter votre station de développement Objective-Caml à l'aide d'un MIME pour vos fichiers source.
Bien sûr ça n'est qu'un exemple que vous pourrez adapter à votre application ou à votre langage de programmation favori.

» Lire la suite!

Vous devez être identifié pour poster un commentaire.

15/06/2009

[GTK+] Hello Developpez ! avec LibGlade/XML

Hier, afin d'illustrer l'usage de LablGtk2, le binding GTK+ pour le langage Objective-Caml j'ai posté le code de ce Hello Developpez tout ce qu'il y a de plus basique :

Toutefois, une comparaison ligne à ligne avec la version Gtk2Hs pour Haskell, grâcieusement postée par Alp, n'était pas possible puisque mon code n'utilisait pas libglade.

» Lire la suite!

Vous devez être identifié pour poster un commentaire.

14/06/2009

[GTK+] Hello LablGtk2 !

LablGtk2 est le binding GTK+ pour le langage Objective-Caml.
Comme son cousin Gtk2Hs (pour Haskell) il permet aussi le chargement d'interfaces codées en XML généré à l'aide de l'outil Glade.

J'espère avoir réalisé une copie conforme du Hello Developpez de Alp mais si ça n'est pas le cas ça n'est pas bien grave, l'esprit y est.

» Lire la suite!

Vous devez être identifié pour poster un commentaire.

Liste des blogs

Le blog de SpiceGuid

Objective-Caml et la programmation fonctionnelle :

Coq et les types dépendants :

Rechercher

<  Avril 2012  >
Lun Mar Mer Jeu Ven Sam Dim
            1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30

Syndiquez ce blog XML

Articles :

Commentaires :

 
 
 
 
Partenaires

Hébergement Web