31c3-6162-en-Programming_with_dependent_types_in_Idris_hd.mp4
Other/Video
DHT
programming
dependent
types
idris
31c3
1
Seeders
0
Leechers
385.42 MB
Size
1
Files
Torrent Information
Details
Total Size
385.42 MB
Active Seeds
1
Total Peers
0
Downloads
0
Global Parameters
Added on
8/13/2025
Last Activity
8/13/2025
Health Status
Poor
Identification Hash
D0E7E736E46B413D16707B2DA41B6FF7A507F21E
Community Trust & Feedback
Reputation Score
100%
Positive Rating
Verified
0 Likes
0 Dislikes
Visibility
High Ranking Content
Files (1)
31c3-6162-en-Programming_with_dependent_types_in_Idris_hd.mp4
31c3-6162-en-Programming_with_dependent_types_in_Idris_hd.mp4
385.42 MB
Trackers (11)
udp://tracker.torrent.eu.org:451/announce
0
0
udp://tracker.opentrackr.org:1337/announce
1
0
udp://open.dstud.io:6969/announce
0
0
udp://opentracker.io:6969/announce
0
0
udp://p4p.arenabg.com:1337/announce
0
0
udp://open.stealth.si:80/announce
0
0
udp://wepzone.net:6969/announce
0
0
udp://tracker-udp.gbitt.info:80/announce
0
0
udp://tracker.theoks.net:6969/announce
0
0
udp://tracker.bittor.pw:1337/announce
0
0
udp://explodie.org:6969/announce
0
0
Similar Torrents 15
Based on tags and category