| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 03-May-2022 | - | ||||
| absimp.dem | H A D | 27-Jan-2020 | 97 | 5 | 4 | |
| absimp.mac | H A D | 07-Oct-2013 | 5.2 KiB | 131 | 127 | |
| disol.dem | H A D | 07-Oct-2013 | 325 | 10 | 8 | |
| disol.mac | H A D | 07-Oct-2013 | 2.1 KiB | 76 | 63 | |
| elim.mac | H A D | 07-Oct-2013 | 881 | 17 | 16 | |
| facex1.mac | H A D | 07-Jan-2016 | 3.4 KiB | 101 | 86 | |
| facexp.dem | H A D | 07-Oct-2013 | 6.7 KiB | 156 | 154 | |
| facexp.mac | H A D | 30-Dec-2019 | 10.8 KiB | 320 | 275 | |
| functs.dem | H A D | 07-Jan-2016 | 1.1 KiB | 26 | 23 | |
| functs.mac | H A D | 22-Jan-2019 | 4.8 KiB | 144 | 126 | |
| genut.mac | H A D | 13-Jul-2016 | 8.3 KiB | 257 | 217 | |
| ineq.dem | H A D | 28-May-2013 | 870 | 35 | 34 | |
| ineq.mac | H A D | 07-Jan-2016 | 1.8 KiB | 66 | 54 | |
| lrats.dem | H A D | 07-Oct-2013 | 1.2 KiB | 29 | 28 | |
| lrats.mac | H A D | 22-Jan-2019 | 2.2 KiB | 73 | 63 | |
| rducon.dem | H A D | 28-May-2013 | 2.3 KiB | 56 | 53 | |
| rducon.lisp | H A D | 12-Aug-2017 | 9.2 KiB | 270 | 249 | |
| rncomb.dem | H A D | 07-Oct-2013 | 369 | 14 | 12 | |
| rncomb.mac | H A D | 12-Aug-2017 | 1.9 KiB | 71 | 60 | |
| rtest_rncomb.mac | H A D | 12-Aug-2017 | 1,008 | 58 | 39 | |
| rtest_sqdnst.mac | H A D | 21-Oct-2019 | 1,011 | 47 | 33 | |
| scifac.dem | H A D | 28-May-2013 | 2.4 KiB | 65 | 64 | |
| scifac.lisp | H A D | 22-Jan-2019 | 16.4 KiB | 315 | 292 | |
| sqdnst.mac | H A D | 30-Dec-2019 | 366 | 13 | 11 | |
| stopex.dem | H A D | 07-Oct-2013 | 1.8 KiB | 50 | 49 | |
| stopex.mac | H A D | 07-Jan-2016 | 5.6 KiB | 178 | 159 |