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... Download 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. Download Rating:
athena-dpl 0.1 FREE Athena is an interactive theorem prover, liberated from the "proofs are types" dogma! Download Rating:
TOP DOWNLOADS last week doPDF 2,947 Diamond generator for free fire 1,628 JAMB Result Checker 1,161 Free Recharge Unlimited App 1,027 Live Video Call - Girls Random Video Chat app 873 CashMama- Instant Personal Loan App Online 637 Bitcoin Ice Mine 623 View All Top Downloads
LATEST ADDITIONS Recently Added Software Three Kingdoms Chronicles II 2024-05-01 SAKS - Invest in your future 2024-05-01 Zera3y Driver - Cars Racing 2024-05-01 neocards - Postcard Creator 2024-05-01 City Coach Simulator Bus Game 2024-05-01 Xphase 2024-05-01 Sbanken 2024-05-01 View All Additions
LATEST UPDATES Recently Updated Software Three Kingdoms Chronicles II 2024-05-01 SAKS - Invest in your future 2024-05-01 Zera3y Driver - Cars Racing 2024-05-01 neocards - Postcard Creator 2024-05-01 City Coach Simulator Bus Game 2024-05-01 Xphase 2024-05-01 Sbanken 2024-05-01 View All Updates