| Mode | Name | Size | |
|---|---|---|---|
| d--------- | Oid | 118 | logplain |
| d--------- | acl2 | 289 | logplain |
| d--------- | cipi | 119 | logplain |
| d--------- | flocq | 125 | logplain |
| d--------- | frama-c | 155 | logplain |
| d--------- | freefem++ | 175 | logplain |
| d--------- | gap | 153 | logplain |
| d--------- | gappa | 168 | logplain |
| d--------- | gappalib-coq | 129 | logplain |
| d--------- | libsfmt | 124 | logplain |
| d--------- | lie | 152 | logplain |
| d--------- | ltl2ba | 121 | logplain |
| d--------- | netgen | 158 | logplain |
| d--------- | pulp | 119 | logplain |
| d--------- | ripser | 153 | logplain |
| d--------- | scilab-bin | 127 | logplain |
GitWeb