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 | 339 | 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 |