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 安裝總數 143 評價 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
