logiciel

typographie

  • fge une police de caractères pour le Grundgesetze der Arithmetik de Frege
  • bguq un symbole quantificateur amélioré pour Begriffsschrift

numérique

  • mvpoly une bibliothèque pour les calculs numériques avec les polynômes multivariés
  • stečkin algorithmes d'optimisation globale basée sur un lemme de S. B. Stečkin
  • lcrp la constante de Lipschitz de la projection radiale sur $\ell_p(\mathbb{R})$ et $L^p[0,1]$

cartographie et illustration technique

  • vfplot trace les champs vectoriel bidimensionnels
  • gmt-perl une interface orienté objectivement de Perl au toolset cartographique de GMT
  • cpt-city une collection des dégradés couleur
  • cptutils convertissent et manoeuvrent des fichier cpt de GMT
  • dp-simplify déciment des polylignes avec l’algorithme de Douglas-Peucker

disparate

  • vsd dictionnaires des conjugaisons françaises pour stardict
  • fcman pages de man des conjugaisons françaises

liens logiciel

console du PDP12
La console du PDP-12 (RCP/RI)