| Mode | Name | Size | |
|---|---|---|---|
| d--------- | Macaulay2 | 194 | logplain |
| d--------- | Oid | 155 | logplain |
| d--------- | acl2 | 188 | logplain |
| d--------- | alt-ergo | 163 | logplain |
| d--------- | apron | 210 | logplain |
| d--------- | aribas | 191 | logplain |
| d--------- | axiom | 192 | logplain |
| d--------- | burrtools | 166 | logplain |
| d--------- | cadabra | 239 | logplain |
| d--------- | cdfplayer | 195 | logplain |
| d--------- | cipi | 156 | logplain |
| d--------- | dolfin | 192 | logplain |
| d--------- | dsfmt | 157 | logplain |
| d--------- | flocq | 159 | logplain |
| d--------- | frama-c | 196 | logplain |
| d--------- | freefem++ | 193 | logplain |
| d--------- | gambit | 167 | logplain |
| d--------- | gap-guava | 197 | logplain |
| d--------- | gap | 190 | logplain |
| d--------- | gappa | 159 | logplain |
| d--------- | gappalib-coq | 166 | logplain |
| d--------- | giac | 158 | logplain |
| d--------- | htk | 152 | logplain |
| d--------- | kash-bin | 158 | logplain |
| d--------- | kayali | 192 | logplain |
| d--------- | lattE-macchiato | 201 | logplain |
| d--------- | libsfmt | 161 | logplain |
| d--------- | lie | 189 | logplain |
| d--------- | ltl2ba | 158 | logplain |
| d--------- | mdp | 198 | logplain |
| d--------- | netgen | 240 | logplain |
| d--------- | open-axiom | 215 | logplain |
| d--------- | pest | 157 | logplain |
| d--------- | petsc | 237 | logplain |
| d--------- | pff | 155 | logplain |
| d--------- | pulp | 158 | logplain |
| d--------- | scilab | 336 | logplain |
| d--------- | singular | 197 | logplain |
| d--------- | surfer | 162 | logplain |
| d--------- | ufc | 201 | logplain |
| d--------- | why | 188 | logplain |
| d--------- | why3 | 157 | logplain |
| d--------- | yorick | 193 | logplain |
| d--------- | z3 | 198 | logplain |
GitWeb