Informatique

Mathkaba

Mathkaba, a small program for managing a library of electronic articles (like Mendeley, except that Mendeley is not specific to maths, closed-source, and has many more features). It is written in C++ using the Gtk toolkit (through gtkmm), and CMake as its build system.

Source code is available on GitHub.

• version 0.2.2: source tarball.
• version 0.2.1: tarball, experimental Windows build (you need GTKMM to make it work).

VDeck

VDeck, a viewer and editor for vCards. VDeck manages a directory filled with vCard files. It currently only supports vCard version 3.0 (RFC 2426), with one file per contact, and minimalistic editing. The project is hosted on GitHub. VDeck can be built on Windows using CMake GUI to generate a VS2008 Express project.

Here's a nice screenshot

• version 0.1.1: win32 build
• version 0.1: source tarball

Macaulay 2

Quelques fichiers d'exemples pour Macaulay 2:

• Un exemple de calcul de Schubert

Haskell

Quelques programmes en Haskell:

• Calcul des tables de Laver
• Approximations de √2
• Des monades «semigroupe libre» et «algèbre de polynômes» à l'intérêt purement théorique.
• Code source coloré

• Une bibliothèque qui calcule des bases de Gröbner (à installer avec Cabal). Documentation.