| Mode | Name | Size | |
|---|---|---|---|
| d--------- | Macaulay2 | 247 | logplain |
| d--------- | Oid | 155 | logplain |
| d--------- | algae | 191 | logplain |
| d--------- | apron | 160 | logplain |
| d--------- | aribas | 191 | logplain |
| d--------- | axiom | 192 | logplain |
| d--------- | burrtools | 166 | logplain |
| d--------- | cadabra | 192 | logplain |
| d--------- | cipi | 156 | logplain |
| d--------- | dolfin | 192 | logplain |
| d--------- | frama-c | 196 | logplain |
| d--------- | freefem++ | 241 | logplain |
| d--------- | gap | 190 | logplain |
| d--------- | gappa | 160 | logplain |
| d--------- | gappalib-coq | 165 | logplain |
| d--------- | hypre | 192 | logplain |
| d--------- | jags | 158 | logplain |
| d--------- | kayali | 192 | logplain |
| d--------- | lattE-macchiato | 201 | logplain |
| d--------- | libdsfmt | 162 | logplain |
| d--------- | libsfmt | 161 | logplain |
| d--------- | lie | 189 | logplain |
| d--------- | ltl2ba | 158 | logplain |
| d--------- | maxima | 196 | logplain |
| d--------- | mdp | 155 | logplain |
| d--------- | netgen | 193 | logplain |
| d--------- | normaliz | 160 | logplain |
| d--------- | octave-epstk | 164 | logplain |
| d--------- | open-axiom | 164 | logplain |
| d--------- | pest | 157 | logplain |
| d--------- | petsc | 289 | logplain |
| d--------- | pff | 159 | logplain |
| d--------- | polybori | 194 | logplain |
| d--------- | scilab | 192 | logplain |
| d--------- | singular | 194 | logplain |
| d--------- | surfer | 164 | logplain |
| d--------- | ufc | 157 | logplain |
| d--------- | why | 156 | logplain |
| d--------- | yorick | 193 | logplain |
GitWeb