  combinatorTk | |
 DSPython | Paquetage DSPython : opérations arithmétiques et alentours |
 baset | Base tree : arbre binaire "de base b" !!! Work in progress !!! |
  Baset | Abre binaire de base b : arbre binaire donc chaque noeud peut contenir un naturel < base |
| bintree | Binary tree : arbre binaire générique !!! Work in progress !!! |
| Bintree | Arbre binaire générique |
| bit32 | Bits de naturels sur 32 bits |
| bool | Booléens : les 16 connecteurs binaires |
| cnat32array | Tableau compact de naturels stockés sur n ≤ 32 bits !!! Work in progress !!! |
| Cnat32array | Tableau compact de naturels stockés sur n bits |
| cnat32table | Tableau compact de naturels stockés sur n_1, n_2, …, n_k ≤ 32 bits !!! Work in progress !!! |
| Cnat32table | Tableau compact de naturels stocké sur n1, n2, ..., nk bits |
| combinator | Combinateurs |
| Atom | "Atome" pour les combinateurs |
| Combinator | Combinateur (Sequence non vide dont le premier élément est un Atom et les suivants des Combinator) |
| debug | Déboggage |
| factors | Facteurs premiers |
| finitec | Calcul finitésimal : opérateurs aux différences finies |
| integer | Entiers : fonctions arithmétiques |
| intmod | Entiers modulo k (éléments de ℤk) |
| Intmod | Type nombre entier modulo k (c.-à-d. un élément de ℤk) |
| knots | Théorie des nœuds |
| Corners | Tableau (list de list) "des coins" d'un space |
| nat32 | Naturels sur 32 bits |
| natseq | Séquences de naturels |
| natural | Naturels : fonctions arithmétiques |
| nbsystem | Systèmes de numération !!! Work in progress !!! |
| numbernone | Nombre non nécessairement défini !!! Work in progress !!! ??? à transformer en class NumberNone |
| partitions | Partitions de naturels !!! Work in progress !!! |
| polynomial | Polynômes |
| Term | Terme (tuple de Number ou de None représentant les exposants pour chaque variable) |
| Polynomial | Polynôme (dictionnaire[Term] = coefficient, avec varsstr, une chaîne de caractères pour les variables) |
| tnp1 | Problème 3n + 1 |
 urmCutland | URM (Unlimited Register Machine) de Cutland |
 UrmCutlandInstruction | Une instruction pour la machine virtuelle UrmCutland |
| UrmCutlandProg | Programme (suite de UrmCutlandInstruction) pour la machine virtuelle UrmCutland |
| UrmCutland | Machine virtuelle UrmCutland : Unlimited Register Machine de Cutland (variante de la machine de Shepherdson – Sturgis) |
| naturalstable | |
| naturalTk | |
| urmCutlandTk | |
