athena-dpl 0.1 FREE Athena is an interactive theorem prover, liberated from the "proofs are types" dogma! Read more Rating:
jppa 0.09 FREE jppa is a pointer and purity analysis tool for Java programs. Mainly a purity analysis tool: given a full Java program, it detects pure JML-style methods, i.e., methods that do not mutate existing objects (they may mutate... Read more Rating:
jpaul 2.5.1 FREE jpaul is a Java implementation of several algorithms widely used in program analysis. It emphasizes flexibility and ease-of-use and is independent of any specific compiler infrastructure project. BSD Licence. Read more Rating:
TOP DOWNLOADS last week SportyTV: Live Sports Stream 5,263 doPDF 2,840 Booster for TikTok - Followers & Likes Booster 2,434 AA Web Browser & Explorer 1,889 Free Live Video Call -All Girls Private Video Chat 1,822 1000 Followers - Get Likes 1,714 Daily Cash - Earn Real Money Online 1,595 View All Top Downloads
LATEST ADDITIONS Recently Added Software Strike Ops 2026-06-27 Uber Eats Order Manager 2026-06-27 CBD - Instant digital banking 2026-06-27 FilGoal - Predict&Win 2026-06-26 Fastboot Reboot 2026-06-26 ORNET 2026-06-26 Dot 2026-06-24 View All Additions
LATEST UPDATES Recently Updated Software UK VPN: Fast Unlimited Streams 2026-06-27 Tap 'n' Pop 2 HD 2026-06-27 Rope Hero 2 2026-06-27 Soccer Eleven : Rematch League 2026-06-27 GTVnow 2026-06-27 Soccer 2023 2026-06-27 Open Beauty Facts 2026-06-27 View All Updates
