IEEE Paper Downloader JS - IEEE Paper Downloader is a Greasemonkey script that enables batch downloading of papers. It bypasses the IEEE Xplore's limit on downloading up to 10 papers at a time, allowing you to download more than 10 papers in one go. 作者 OccDeser 日安装量 1 总安装量 142 评分 0 0 0 创建于 2023-10-15 更新于 2023-10-15
Tamarin Web Tool JS - Tamarin-prover web interface tool. 作者 OccDeser 日安装量 0 总安装量 2 评分 0 0 0 创建于 2024-08-23 更新于 2024-08-23
