![[ICO]](/Icons/blank.gif){kind=icon}
![[PARENTDIR]](/Icons/back.gif){kind=icon}
![[DIR]](/Icons/folder.gif){kind=icon}
![[ ]](/Icons/unknown.gif){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| js/ | 2020-01-31 10:39 | - |
| BytePoster.js | 2020-01-31 10:31 | 90 |
| EigenInterface.js | 2020-01-31 10:31 | 94 |
| GenericBinaryDocument.js | 2020-01-31 10:31 | 259 |
| GenericBinaryDocumentReader.js | 2020-01-31 10:31 | 107 |
| GenericCifDataParser.js | 2020-01-31 10:31 | 145 |
| GenericColor.js | 2020-01-31 10:31 | 92 |
| GenericImageEncoder.js | 2020-01-31 10:31 | 99 |
| GenericLineReader.js | 2020-01-31 10:31 | 97 |
| GenericOutputChannel.js | 2020-01-31 10:31 | 100 |
| GenericZipInputStream.js | 2020-01-31 10:31 | 291 |
| GenericZipTools.js | 2020-01-31 10:31 | 95 |
| Interface.js | 2020-01-31 10:32 | 448 |
| JSFunction.js | 2020-01-31 10:31 | 90 |
| JSInterface.js | 2020-01-31 10:31 | 91 |
| JSONEncodable.js | 2020-01-31 10:31 | 93 |
| ZInputStream.js | 2020-01-31 10:31 | 92 |